E

Extrapol

Settings | Report Duplicate

Activity Not Available

1

I Use This!

Project Summary

Analyzed over 5 years ago. based on code collected over 8 years ago.

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

Share

Quick Reference

Project Links:: Homepage
Code Locations:: https://www.sds-project.fr/svn/e...
Licenses:: GPL+link
Similar Projects:
Managers:: Yoric

In a Nutshell, Extrapol...

...
has had 39 commits made by 2 contributors
representing 3,274 lines of code
...
is mostly written in OCaml
with a well-commented source code
...
has a codebase with a very short history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 1 years of effort (COCOMO model)
starting with its first commit in February, 2008
ending with its most recent commit over 8 years ago

Languages

Languages?height=75&width=75

OCaml	62%
HTML	37%
CSS	1%

Lines of Code

Activity

30 Day Summary

not available

12 Month Summary

not available

Commits per Month

Community

Ratings

Be the first to rate this project

Click to add your rating

Spinner f6ecff617ec2ba7f559e6f535cad9b70a3f91120737535dab4d4548a6c83576c

Review this Project!

Contributors per Month