ivanpostolski

Ivan Postolski's starred repositories

soot

Soot - A Java optimization framework

Language:JavaLGPL-2.12838 103 1184

easy-just-in-time

LLVM Optimization to extract a function, embedded in its intermediate representation in the binary, and execute it using the LLVM Just-In-Time compiler.

Language:C++BSD-3-Clause509 23 17

wake

Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors

Language:PythonISC219 10 126

VeriMan

Analysis tool for Solidity smart contracts. Prototype.

Language:PythonGPL-3.037 50

analysis-net

Static analysis framework for .NET programs.

Language:C#MIT28 4 8