Boyan-MILANOV
Follow
Stars
Locating and editing factual associations in GPT (NeurIPS 2022)
A Python pickling decompiler and static analyzer
A rate limiter for the gin web framework
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Combine/group together PRs (for example from Dependabot and similar services)
Emulation Wrapper Solution is a IDA Pro plugin that brings emulator capacities to provide features such as debugging an mocking.
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
C implementation of the SHA-3 and Keccak with Init/Update/Finalize hashing API (NIST FIPS 202/Etherium)
Open-source symbolic execution framework: https://maat.re
Unofficial CMake build for Ghidra's C++ SLEIGH code
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Audits Python environments, requirements files and dependency trees for known security vulnerabilities, and can automatically fix them
A no-nonsense, no-JavaScript CSS framework, site and documentation theme for content-oriented websites
Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR
Simple animated GIF screen recorder with an easy to use interface
A Dynamic Binary Instrumentation framework based on LLVM.
ROP Benchmark is a tool to compare ROP compilers
Converts an asciinema cast to an animated GIF.
The advanced drum machine for Linux, macOS, and Windows
Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, T…
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Empowering everyone to build reliable and efficient software.