A static analyzer for Java, C, C++, and Objective-C
An extensible multilanguage static code analyzer
.NET Interactive takes .NET and embeds it into your experiences
Open-source code analysis platform for C/C++/Java/Binary/Javascript
An advanced cross platform fuzzing framework suited to find code bugs.
Support for manual parallelization of sequential C programs.
Run .NET and Node.js code in-process on Windows, MacOS, and Linux
Translate java source into another language
Detector of Integer Vulnerabilities in Software Portability
C and C++ control flow graph generator and analyzer
OSSDPI is collects information of the open source software.
KDD: Kernel Data Disambiguation Tool
HealFu is an iPhone app for manage health developed by Prof.Koyama Lab