World's fastest and most advanced password recovery utility

The Kam1n0 Assembly Analysis Platform

A type-safe hash map implementation for C

SeaHorn Verification Framework

DARPA Cyber Grand Challenge Sample Challenges

VulDeePecker: A Deep Learning-Based System for Vulnerability Detection

Library to manipulate tensors on the GPU.

Source Code Vulnerability Detection Tools（SCVDT）provides a vulnerable code database, vulnerability detection service for Java and C/C++ programs, and other security service.

Automatically exported from code.google.com/p/rough-auditing-tool-for-security

一个简单的用来在windows桌面壁纸层播放视频的软件，类似于Wallpaper Engine的功能

source code analysis workshop

Implementation of Taint Tracking in LLVM compiler.