1
I Use This!
Activity Not Available
Analyzed over 6 years ago. based on code collected about 9 years ago.

Project Summary

A security static analysis tool for C aiming to answer the question: "what does this program do?"

Tags

administration analysis c code code_analysis effects java linux ocaml probing programming quality rbac safety security selinux static static_analysis tcb trust types type_system

In a Nutshell, Extrapol...

Quick Reference

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    anyone with an Open Hub account can update a project's tags

Languages

Languages?height=75&width=75
OCaml
62%
HTML
37%
CSS
1%

30 Day Summary

not available

12 Month Summary

not available

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!