Randomized resource-aware path-sensitive static analysis

DOI10.1007/978-3-319-26529-2_7MaRDI QIDQ3460902zbMATH OpenOpenAlexFDO

Authors Tomasz Dudziak

Publication date 8 January 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-26529-2_7

zbMATH Keywords

abstract interpretationhashingpath-sensitive analysissoftware verificationstatic program analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Programming Languages and Systems
• Precise interprocedural analysis using random interpretation
• Computer Aided Verification
• Probabilistic analysis of programs: a weak limit approach
• Program analysis via satisfiability modulo path programs

Cited in

(3)

• Last mile's resources
• Program analysis via satisfiability modulo path programs
• Programming Languages and Systems

This page was built for publication: Randomized resource-aware path-sensitive static analysis

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