> all divisions by zero, data races, and deadlocks, and does static taint checking.
That is a wild claim.
But how many false positives does it have?
Too bad it's not FOSS; I would pay for that is the false positive rate was not too high.
That is a wild claim.
But how many false positives does it have?
Too bad it's not FOSS; I would pay for that is the false positive rate was not too high.
We are talking code without dynamic memory allocation, recursive function calls, no system and library calls, of course. Like some embedded aerospace, automation, healthcare and military applications. You can use it to verify some libraries if you can't do full coverage. Application domain abstractions are also available.
NASA has open source tool called IKOS based on same abstract interpretation concept, but I don't know it's features.