ARC Code TI: Inference Kernel for Open Static Analyzers (IKOS)
IKOS is a C++ library designed to facilitate the development of sound static analyzers based on Abstract Interpretation. Specialization of a static analyzer for an application or family of applications is critical for achieving both precision and scalability. Developing such an analyzer is arduous and requires significant expertise in Abstract Interpretation.
Complete Metadata
| bureauCode |
[ "026:00" ] |
|---|---|
| identifier | OCIO-Fitara-142 |
| issued | 2015-01-07 |
| landingPage | http://ti.arc.nasa.gov/opensource/ikos/ |
| programCode |
[ "026:046" ] |
| theme |
[ "Management/Operations" ] |
