LTL verification on lifted binaries.

Android Dynamic Monitor

200+ Questions and Answers on Spring, Spring Boot and Spring MVC

Horus, a formal verification tool for StarkNet smart contracts.

Low-Level Software Security for Compiler Developers

Automatic test case generation for python and static analysis library

Reference implementation for the peer-to-peer agent that manages the Stellar network.

Scalable Validator for Binary Lifters

Automatic SQL injection and database takeover tool

Knotical: An Inference System of Trace Refinement Relations

LSTM built using Keras Python package to predict time series steps and sequences. Includes sin wave and stock market data

stock，股票系统。使用python进行开发。

Embedded language for high-performance array computations

Create a Wine Festival Schedule using of html and make a table...!!!

llvm2KITTeL

Alloy with browser-based visualizations

The Jakstab static analysis platform for binaries

Program analysis tools developed at Draper on the CBAT project.

resurrected LLVM "C Backend", with improvements

Intermediate Representation for Binary analysis and transformation

DyninstAPI: Tools for binary instrumentation, analysis, and modification.

IoT Reading List (IoT research papers from 2016 to 2019)

🎆Interactive Online Platform that Visualizes Algorithms from Code

Reverse Engineering using Radare2

SMACK Software Verifier and Verification Toolchain

Boogie