Login / Signup
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.
Felix Neubauer
Karsten Scheibler
Bernd Becker
Ahmed Mahdi
Martin Fränzle
Tino Teige
Tom Bienmüller
Detlef Fehrer
Published in:
MBMV (2017)
Keyphrases
</>
constraint solving
source code
constraint satisfaction problems
constraint logic programming
object detection
detection method
false positives
constraint propagation
constraint solver