20 papers · ranked by Valyu relevance
Flash Sheridan
Static source code analysis is a powerful tool for finding and fixing bugs when deployed properly; it is, however, all too easy to deploy it in a way that looks good superficially, but which misses important defects, shows many false positives, and brings the tool into disrepute. This article is a guide to the process…
Osejobe Ehichoya, Chinwuba Christian Nnaemeka
—Web services are becoming business-critical components, often deployed with critical software bugs that can be maliciously explored. Web vulnerability scanners allow the detection of security vulnerabilities in web services by stressing the service from the point of view of an attacker. However, research and practice…
Tian Tan, Yue Li
Static analysis is a mature field with applications to bug detection, security analysis, program understanding, optimization, and more. To facilitate these applications, static analysis frameworks play an essential role by providing a series of fundamental services such as intermediate representation (IR) abstraction…
Gábor Horváth, Réka Kovács, Richárd Szalay, Zoltán Porkoláb + 2 more
Static analysis is the analysis of a program without executing it that is carried out by an automated tool. It is a widely used approach for several problems. It is used for optimising code, large-scale refactoring, code metrics, code visualisation and several other purposes. Unfortunately, there are some strong…
Avi Hayoun, Veselin Raychev, Jack Hair
Static analysis is a growing application of software engineering, leading to a range of essential security tools, bug-finding tools, as well as software verification. Recent years show an increase of universal static analysis tools that validate a range of properties and allow customizing parts of the scanner to…
Jiazhen Zhao, Kailong Zhu, Canju Lu, Jun Zhao + 2 more
PHP is the most widely used server-side programming language, but it remains highly susceptible to diverse classes of vulnerabilities. Static Application Security Testing (SAST) tools are commonly adopted for vulnerability detection; however, their evaluation lacks systematic criteria capable of quantifying information…
Melih Peker, Ozcan Ozturk
Selecting a good set of optimization flags requires extensive effort and expert input. While most of the prior research considers using static, spatial, or dynamic features, some of the latest research directly applied deep neural networks to source code. We combined the static features, spatial features, and deep…
Jones Yeboah, Saheed Popoola
open-source projects Authors: ['Jones Yeboah' 'Saheed Popoola'] This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,broadcasting, reproduction on…
Kajetan Kuszczyński, Michał Walkowski, Alessandra Rizzardi
The increasing complexity of web applications and systems, driven by ongoing digitalization, has made software security testing a necessary and critical activity in the software development lifecycle. This article compares the performance of open-source tools for conducting static code analysis for security purposes.…
Heling Cao, Fei Wang, Miaolei Deng, Lei Li + 1 more
Background Spectrum-based Fault localization have proven to be useful in the process of software testing and debugging. However, how to improve the effectiveness of software fault localization has always been a research hot spot in the field of software engineering. Dynamic slicing can extract program dependencies…
Mingrui Ma, Lansheng Han, Yekui Qian, Athanasios V. Vasilakos + 1 more
'Vassilis S. Kodogiannis'] As one of the most effective methods of vulnerability mining, fuzzy testing has scalability and complex path detection ability. Fuzzy testing sample generation is the key step of fuzzy testing, and the quality of sample directly determines the vulnerability mining ability of fuzzy tester. At…
Authors not listed
Water structure is crucially important to protein function and catalysis and can be conserved throughout related proteins despite differences in sequence. The complex hydrogen bonding networks formed by water molecules and protein residues has been studied extensively, with graph theory-based methods frequently used to…
Enrique Morales, Cesar Bordehore, Héctor M. Pastor, David García-García
Stella Architect (iSee Systems) offers an object-oriented environment that facilitates the development of dynamic models. Stella, however, does not support some of the advanced mathematical tools that can be found in mathematical software such as R. Moreover, R is open source, contains numerous libraries and resources…
John Kendrick, Andrew Burnett
Static and dynamic density functional calculations are reported for the four known polymorphs of L-Cysteine. Static calculations are used to explore the relative free energies (within the harmonic approximation) of the polymorphs as a function of pressure. An important feature of the structural differences between the…
Alexander Khudozhitkov, Peter Stange, Dietmar Paschek, Alexander Stepanov + 2 more
We report strong isotope effects for the protic ionic liquid triethylammonium methanesulfonate [TEA][OMs] by means of deuterium solid-state NMR spectroscopy covering broad temperature ranges from 65 K to 313 K. Both isotopically labelled PILs differ in non-deuterated and fully deuterated ethyl groups of the triethyl…
Authors not listed
The persistent failure to drug mutant forms of key oncogenes—such as TP53, KRAS, and MYC—is largely due to their lack of stable, visible binding pockets in crystal structures. These proteins are frequently labeled “undruggable,” not because they cannot be modulated, but because their ligandable sites are hidden…
Han Chu, Kun Wang, Hansen Cheng, Wenhao Ma + 4 more
Spatial transcriptomics (ST) has emerged as a powerful tool for unravelling tissue structure and function. However, the continuous development of ST has made it challenging to select and effectively use appropriate analysis tools. To address this issue, we have developed the Spatial Transcriptome Analysis Hub (STASH…
Jemin Kim, Joonseok Park, Lei Shu
The Internet of Things (IoT) technology is experiencing significant growth and integration into various aspects of daily life. With the rising number of connected devices, diverse security challenges are emerging as substantial threats to IoT. Cross-Site Scripting (XSS) is one of the major security risks in web…
Yun-Fei Liu, Marina Bedny
Programming is a cornerstone of modern society, yet its cognitive and neural basis remains poorly understood. In this study, we test the hypothesis that programming “recycles” pre-existing neural mechanisms and representations in fronto-parietal reasoning networks. Using fMRI, we scanned programming-naïve…
Authors not listed
The functionality of viral proteases, such as those from Dengue Virus (DENV) and SARS-CoV-2, is intrinsically linked to their conformational dynamics. While Molecular Dynamics (MD) is a powerful tool to study these motions, its computational cost limits large-scale screening. Here, we present a rapid analysis of the…