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

Project Summary

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

Tags

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

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
  • ...
    check out hot projects on the Open Hub
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    you can embed statistics from Open Hub on your site

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!