Software Testing Tools Guide
Description
BLAST (Berkeley Lazy Abstraction Software verification Tool) is a static software verification tool for C language that solves the reachability problem, i.e. whether a given program location can be reached from an entry point (main function) by a valid execution.
Details
- Listing categories Static analysis
- Licence Open Source
- Status Inactive
- Supported Technology C/C++
- User Interface Command line
Post New Review
You must be logged in to post a comment.