A static analyzer for Java, C, C++, and Objective-C
Open-source code analysis platform for C/C++/Java/Binary/Javascript
.NET Interactive takes .NET and embeds it into your experiences
An extensible multilanguage static code analyzer
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