Results 321 to 330 of about 26,063,160 (372)
Some of the next articles are maybe not open access.
MemFix: static analysis-based repair of memory deallocation errors for C
ESEC/SIGSOFT FSE, 2018We present MemFix, an automated technique for fixing memory deallocation errors in C programs. MemFix aims to fix memory-leak, double-free, and use-after-free errors, which occur when developers fail to properly deallocate memory objects. MemFix attempts
Junhee Lee, Seongjoon Hong, Hakjoo Oh
semanticscholar +1 more source
Benchmarking Static Analysis Tools for Web Security
IEEE Transactions on Reliability, 2018Static analysis tools are recurrently used by developers to search for vulnerabilities in the source code of web applications. However, distinct tools provide different results depending on factors such as the complexity of the code under analysis and ...
P. Nunes +5 more
semanticscholar +1 more source
A Survey of Parametric Static Analysis
ACM Computing Surveys, 2021Jihyeok Park, Hongki Lee, Sukyoung Ryu
semanticscholar +1 more source
ACM-SIGACT Symposium on Principles of Programming Languages, 1977
P. Cousot, R. Cousot
semanticscholar +1 more source
P. Cousot, R. Cousot
semanticscholar +1 more source
Static quenching upon adduct formation: a treatment without shortcuts and approximations
Chemical Society Reviews, 2021Damiano Genovese +2 more
exaly
Dynamic and reconfigurable materials from reversible network interactions
Nature Reviews Materials, 2022Matthew J Webber, Mark W Tibbitt
exaly