GDBMiner: Mining Precise Input Grammars on (Almost) Any System by Eisele, Max, Hägele, Johannes, Huth, Christopher, Zeller, Andreas

“…However, current grammar mining tools place huge demands on the source code they are applied on, or are too imprecise, both preventing adoption in industrial practice. …”
Get full text

Encouraging reusability of computational research through Data-to-Knowledge Packages - A hydrological use case [version 2; peer review: 2 approved] by Markus Konkol, Sami Domisch, Astra Labuce, Vanessa Bremerich, Merret Buurman

“…The D2K-Package’s core is the reproducible basis composed of the data and source code on which an analysis is based. This core is designed such that the other components can be derived from it. …”
Get full text

Software Development Process Considerations in GNSS-Denied Navigation Project for Drones by Sebastian Rutkowski, Cezary Szczepański

“…The process was implemented in an environment where software developers were oriented to developing a source code only and who showed great reluctance to follow any formal process. …”
Get full text

A WEB-APPLICATION QUALITY EVALUATION METHOD BASED ON VULNERABILITY DETECTION by D. E. Onoshko, V. V. Bakhtizin

“…This article introduces a method of web-application quality evaluation based on static analysis of the source code. A model for SQL-injection vulnerability detection and a web-application quality model based on the results of vulnerability detection that extends the ISO/IEC 25010 quality model are described.…”
Get full text

The Effectiveness of Large Language Models in Transforming Unstructured Text to Standardized Formats by William Brach, Kristian Kostal, Michal Ries

“…For further information, source code, and associated resources, please refer to the source code repository (<uri>https://github.com/fiit-ba/text-to-cooklang</uri>).…”
Get full text

Vulnerability detection using BERT based LLM model with transparency obligation practice towards trustworthy AI by Jean Haurogné, Nihala Basheer, Shareeful Islam

“…Vulnerabilities in the source code are one of the main causes of potential threats in software-intensive systems. …”
Get full text

A WEB-APPLICATION QUALITY EVALUATION METHOD BASED ON VULNERABILITY DETECTION by D. E. Onoshko, V. V. Bakhtizin

“…This article introduces a method of web-application quality evaluation based on static analysis of the source code. A model for SQL-injection vulnerability detection and a web-application quality model based on the results of vulnerability detection that extends the ISO/IEC 25010 quality model are described.…”
Get full text

THE METHOD OF ACCESS ISOLATION IN OBJECT-ORIENTED SOFTWARE SYSTEM by A. F. Chipiga, A. A. Ereschenko, L. A. Alpeeva

“…During the software system's designing and development process it is suggested to define the basic access distinction rules between the objects of corresponding classes directly in the source code when defining the classes themselves and the classes' inheritance hierarchy. …”
Get full text

Factor Graphs for Navigation Applications: A Tutorial by Clark Taylor, Jason Gross

“…A brief survey of previous applications of factor graphs to navigation problems is also presented. Source code for the extended Kalman filter comparison and for generating the graphs in this paper is available at https://github.com/cntaylor/factorGraph2DsatelliteExample.…”
Get full text

REENGINEERING OF OPEN SOFTWARE SYSTEM OF 3D MODELING BRL-CAD by Stanislav Velykodniy

“…The present study summarizes the results of experimental studies; source code translation results are analyzed and summarized, the main one being the reduction in the complexity of creating open source software using the BRL-CAD example. …”
Get full text

SCUP-HPC: System for Constructing and Utilizing Provenance on High-Performance Computing Systems by Yuta Namiki, Takeo Hosomi, Hideyuki Tanushi, Akihiro Yamashita, Susumu Date

“…To ensure the reproducibility on an HPC system, the provenance must describe the following relationships: 1) executed programs and the corresponding job definition submitted to a workload manager, 2) the program and its source code, and 3) the program and its input/output files. …”
Get full text

Russian local trends in software development and implementation by D. S. Pashchenko

“…The expert’s panel reviewed the change in costs and efforts in software development projects connected with stricter requirements for collecting and storing personal data, evaluated import substitution of system and application software and determined the possibilities of using technologies, based on open-source code. The results of the study are accompanied by brief recommendations of the author.…”
Get full text

Spglib: a software library for crystal symmetry search by Atsushi Togo, Kohei Shinohara, Isao Tanaka

“…An iterative algorithm is employed to robustly identify space group types, tolerating a certain amount of distortion in the crystal structures. The source code is distributed under the 3-Clause BSD License, a permissive open-source software license. …”
Get full text

Powerlaw: a Python package for analysis of heavy-tailed distributions. by Jeff Alstott, Ed Bullmore, Dietmar Plenz

“…Notably, it also seeks to support a variety of user needs by being exhaustive in the options available to the user. The source code is publicly available and easily extensible.…”
Get full text

Software watermarking scheme with cloud computing constraints by Guang SUN, Xiao-ping FAN, Wang-dong JIANG, Hang-jun ZHOU, Sheng-zong LIU, Chun-hong GONG, Jing ZHU

“…A non-equivalent semantic obfuscation-based software watermarking,scheme was introduced to satisfy the demands of software intellectual property breaches in cloud.Via obfuscated source codes,part of semantics was cut into a recovery module to make the source code unavailable.Watermarks map to transform rules were embedded concurrently into these obfuscated codes.The recovery module was a recognizer to prove the watermarks when the original program was recovering.Experimental results,using Java decompliers,indicate that the code become ob-fuscated,is difficult to reverse engineering,thereby mabe the watermarks robust.…”
Get full text

Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic by Marat Akhin, Vladimir Itsykson

“…A lot of different clone detection approaches have been proposed over the years to deal with this problem, but almost all of them do not consider semantic properties of the source code. We propose to reinforce traditional tree-based clone detection algorithms by using additional information about variable slices. …”
Get full text

LLVM-based Static Analysis Tool Using Type and Effect Systems by M. A. Belyaev, V. A. Tsesko

“…The approach taken is to research feasibility of designing instruments for static analysis by applying known type and effect system based algorithms for detecting defects to LLVM bitcode language and effectively to the original source code.…”
Get full text

Structural properties and static robustness of Linux software network by Ershen WANG, Yu LI, Chen HONG, Qinghua SUN, Chang LIU

“…The source code of the Linux software was analyzed,and the directed function call network model,the weak coupling network model of software system,the strong coupling network model and the strong connected subgraph model were built.The characteristics and static robustness of the four networks were studied.The results show that four networks all show ‘small-world’ property.The out-degree distribution of the six modules in the Linux network generally follows the exponential distribution,and the in-degree distribution of the six modules follows the power law.The best attacking strategy was distinct when different robustness evaluation indicator was adopted.For the weak connectivity indicator,high in-degree attacking strategy was of the greatest damage to the weakly coupled software network.…”
Get full text

Numerical simulation of the crack 2D by the finite element incorporated the discontinuity by Nguyen Truong Giang

“…The elements employ discontinuous functions and the facture mechanics two dimensional asymptotic crack tip displacement fields. The Fortran source code of Cast3M applies these elements to a set of examples. …”
Get full text

Game-based detection method of broken access control vulnerabilities in Web application by HE Haitao, XU Ke, YANG Shuailin, ZHANG Bing, ZHAO Yuxuan, LI Jiazheng

“…To solve the problem that the access control strategy of the program in the industrial Internet was difficult to extract from the source code, and that the user’s access operation was difficult to trigger all access paths, which led to the difficulty of universal detection of logical vulnerabilities, game theory was applied to the access control logic vulnerability detection for the first time. …”
Get full text