Open AccessNEAMS Static Analysis
Author(s) -
Becker Oliver,
Tamara L. Dahlgren,
Mary miller
Publication year - 2012
Language(s) - Uncategorized
Resource type - Reports
DOI - 10.2172/1053670
Subject(s) - program slicing , computer science , static analysis , programmer , program analysis , programming language , unix , taint checking , slicing , code (set theory) , interrupt , abstract interpretation , modular design , symbolic execution , static program analysis , realization (probability) , embedded system , debugging , software , software development , statistics , mathematics , set (abstract data type) , world wide web , microcontroller