Improving dynamic code analysis by code abstraction

DOI10.4204/EPTCS.341.2MaRDI QIDQ6646291zbMATH OpenFDO

Authors Isabella Mastroeni, Vincenzo Arceri

Publication date 29 November 2024

Full work available at URL https://doi.org/10.4204/EPTCS.341.2

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Formal framework for reasoning about the precision of dynamic analysis
• On abstraction in software verification
• An abstract interpretation framework for optimizing dynamic modular logic languages
• Abstraction refinement guided by a learnt probabilistic model
• Fuzzy set abstraction

Cites work

• A Practical String Analyzer by the Widening Approach
• A proof system for abstract non-interference
• Abstract code injection. A semantic approach based on abstract non-interference
• Abstract interpretation-based approaches to security -- a survey on abstract non-interference and its challenging applications
• Abstract program slicing: an abstract interpretation-based approach to program slicing
• Abstract symbolic automata: mixed syntactic/semantic similarity analysis of executables
• Compiler design. Syntactic and semantic analysis
• Depth-First Search and Linear Graph Algorithms
• Incompleteness, counterexamples, and refinements in abstract model-checking
• Proving abstract non-interference
• Reference abstract domains and applications to string analysis
• Twinning automata and regular expressions for string static analysis

This page was built for publication: Improving dynamic code analysis by code abstraction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6646291)