Development
Vulncheck is not under active development, but it is available under the GPL license. Interested parties are encouraged to use and enhance the code. The following areas are most in need of improvement:
- Implement VRP for string and buffer sizes
- Interprocedural taint propagation
- Support for structures