Results 11 to 20 of about 640,088 (259)
Debugging Static Analysis [PDF]
IEEE Transactions on Software Engineering, 2020 To detect and fix bugs and security vulnerabilities, software companies use static analysis as part of the development process. However, static analysis code itself is also prone to bugs. To ensure a consistent level of precision, as analyzed programs grow more complex, a static analysis has to handle more code constructs, frameworks, and libraries ...
Lisa Nguyen Quang Do +4 more
openaire +2 more sources
CoRR, 2022 The original unabridged version (with footnotes) of the Dr Dobb's Journal August 2012 cover ...
openaire +2 more sources
StaticFixer: From Static Analysis to Static Repair
CoRR, 2023 Static analysis tools are traditionally used to detect and flag programs that violate properties. We show that static analysis tools can also be used to perturb programs that satisfy a property to construct variants that violate the property. Using this insight we can construct paired data sets of unsafe-safe program pairs, and learn strategies to ...
Naman Jain +7 more
openaire +2 more sources
Static Analysis of Android Programs [PDF]
Information and Software Technology, 2011 Context: Android is a programming language based on Java and an operating system for embedded and mobile devices, whose upper layers are written in the Android language itself. As a language, it features an extended eventbased library and dynamic inflation of graphical views from declarative XML layout files. A static analyzer for Android programs must
E. Payet, SPOTO, Nicola Fausto
openaire +5 more sources
The Journal of Logic and Algebraic Programming, 2012 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nataliya Skrypnyuk +2 more
openaire +2 more sources
Static analysis of deterministic negotiations [PDF]
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017 To appear in the Proceedings of LICS 2017, IEEE Computer ...
Javier Esparza +2 more
openaire +2 more sources
QuickChecking static analysis properties [PDF]
Software Testing, Verification and Reliability, 2015 SummaryA static analysis can check programs for potential errors. A natural question that arises is therefore: who checks the checker? Researchers have given this question varying attention, ranging from basic testing techniques, informal monotonicity arguments, thorough pen‐and‐paper soundness proofs, to verified fixed point checking.
Jan Midtgaard, Anders Møller
openaire +4 more sources
Undecidability of static analysis [PDF]
ACM Letters on Programming Languages and Systems, 1992 Static analysis of programs is indispensable to any software tool, environment, or system that requires compile-time information about the semantics of programs. With the emergence of languages like C and LISP, static analysis of programs with dynamic storage and recursive data structures has become a field of active research.
openaire +1 more source
Just-in-time static analysis [PDF]
, 2022 S.307-317We present the concept of Just-In-Time (JIT) static analysis that interleaves code development and bug fixing in an integrated development environment.
Smith, J. +5 more
core +2 more sources