Software Map

Project Tree

Now limiting view to projects in the following categories:
Topic :: Software Development [Remove This Filter]
Development Status :: 4 - Beta [Remove This Filter]
Kind :: Software [Remove This Filter]
Topic :: Security [Remove This Filter]
Natural Language :: English [Remove This Filter]

Intended Audience > Developers	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

2 projects in result set.

Nullability Inference Tool - NIT (Nullability Inference Tool) is a tool to infer non-null annotations for fields and methods in Java programs to be able to use annotation facility in Java 5 and the checkers that are developed by third parties.

Development Status : 4 - Beta (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rennes[Filter]
Topic : Security (Now Filtering)
Topic : Software Development (Now Filtering)

Activity Percentile: 0.00

Registered: 2008-04-30 12:04

Frama-C - Frama-C is a platform for static analysis of C source code

Development Status : 4 - Beta (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : Microsoft : Windows : Windows NT/2000[Filter]
Operating System : POSIX[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Security (Now Filtering)
Topic : Software Development (Now Filtering)

Activity Percentile: 0.00

Registered: 2008-01-23 14:35