Abstract interpretation of microcontroller code: intervals meet congruences

DOI10.1016/j.scico.2012.06.001zbMath1284.68167MaRDI QIDQ2442953

Stefan Kowalewski, Andy King, Jörg Brauer

Publication date: 2 April 2014

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2012.06.001

zbMATH Keywords

intervals; embedded systems; abstract interpretation; binary code; linear congruences

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

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

Uses Software

• Goanna
• Sat4j
• Java PathFinder
• BitBlaze
• BAP
• WPDS++
• Mjollnir