Improving dynamic code analysis by code abstraction

DOI10.4204/eptcs.341.2MaRDI QIDQ6646291

Isabella Mastroeni, Vincenzo Arceri

Publication date: 29 November 2024

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Twinning automata and regular expressions for string static analysis
• Abstract Symbolic Automata
• Abstract Code Injection
• A Proof System for Abstract Non-interference
• Reference Abstract Domains and Applications to String Analysis
• Abstract Program Slicing
• Computer Science Logic
• A Practical String Analyzer by the Widening Approach
• Depth-First Search and Linear Graph Algorithms
• Compiler Design

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