This study examines the impact of tokenized java code length on the accuracy and explicitness of ten major LLMs in vulnerability detection. Using chi-square tests and known ground truth, we found inconsistencies acros...
详细信息
The popularization of AI technology, yes the emerging technology represented by deep learning and neural network has gradually become an important tool for solving complex problems. Specifically, in the application fi...
详细信息
We give an insight into java Geometry Expert (JGEX) in use in a school context, focusing on the Austrian school system. JGEX can offer great support in some classroom situations, especially for solving mathematical co...
详细信息
We give an insight into java Geometry Expert (JGEX) in use in a school context, focusing on the Austrian school system. JGEX can offer great support in some classroom situations, especially for solving mathematical competition tasks. Also, we discuss some limitations of the program.
This paper introduces CodeMotion: an AST-driven web-based program visualization tool designed to improve learners’ understanding of javaScript code execution and algorithmic concepts through interactive visual explor...
详细信息
The breakneck evolution of modern programminglanguages aggravates the development of deductive verification tools, which struggle to timely and fully support all new language features. To address this challenge, we p...
详细信息
ISBN:
(纸本)9783031274800;9783031274817
The breakneck evolution of modern programminglanguages aggravates the development of deductive verification tools, which struggle to timely and fully support all new language features. To address this challenge, we present BYTEBACK: a verification technique that works on java bytecode. Compared to high-level languages, intermediate representations such as bytecode offer a much more limited and stable set of features;hence, they may help decouple the verification process from changes in the source-level language. BYTEBACK offers a library to specify functional correctness properties at the level of the source code, so that the bytecode is only used as an intermediate representation that the end user does not need to work with. Then, BYTEBACK reconstructs some of the information about types and expressions that is erased during compilation into bytecode but is necessary to correctly perform verification. Our experiments with an implementation of BYTEBACK demonstrate that it can successfully verify bytecode compiled from different versions of java, and including several modern language features that even state-of-the-art java verifiers (such as KeY and OpenJML) do not directly support-thus revealing how BYTEBACK's approach can help keep up verification technology with language evolution.
The use of modern programming in java has become widely used in the e-learning model to help the student learn in the right place and time. Students have difficulty learning java and are time consuming without the ben...
详细信息
In the last decade, we have seen the proliferation of code-reuse attacks that rely on deserialization of untrusted data in the context of web applications. The impact of these attacks is really important since they ca...
详细信息
The purpose of this study is to analyze interactive maps using the GeoJSON method and without using GeoJSON for new entrepreneurs in West java. The flow of the stages of this research consists of three parts, namely a...
详细信息
By conducting security auditing on source code, the root cause of security issues can be identified, and the system security risk can be reduced after effective repair of vulnerabilities. The existing source code dete...
详细信息
As java microbenchmarks are great at profiling the performance of essential code elements, they are widely adopted for java performance testing. Performance testing using java microbenchmarks is composed of two phases...
详细信息
暂无评论