Go Taint CHeck Analyser
☆44Jun 25, 2019Updated 6 years ago
Alternatives and similar repositories for gotcha
Users that are interested in gotcha are comparing it to the libraries listed below
Sorting:
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Feb 28, 2026Updated last week
- A Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 years ago
- Gopher+ protocol specification☆16Feb 23, 2021Updated 5 years ago
- Corpus for github.com/dvyukov/go-fuzz examples☆203Mar 4, 2021Updated 5 years ago
- OpenFaaS faceblur function using the Pigo face detector library. (https://github.com/esimov/pigo)☆17Jan 5, 2021Updated 5 years ago
- COVA - A static analysis tool to compute path conditions☆40Updated this week
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 4 years ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20May 13, 2018Updated 7 years ago
- x86-64 instruction encoder in Go☆23Nov 2, 2019Updated 6 years ago
- ☆18Jun 11, 2024Updated last year
- Static code analysis tool to find unsafe usages in Go packages and their dependencies☆44Sep 11, 2020Updated 5 years ago
- Work with disassembled code.☆25Jun 2, 2025Updated 9 months ago
- The unofficial release of the tool we used in the EuroS&P 2017 paper: Open Doors for Bob and Mallory: Open Port Usage in Android Apps and…☆23Oct 24, 2017Updated 8 years ago
- Heap analysis tooling for dlmalloc☆32Jun 13, 2022Updated 3 years ago
- ☆51Mar 7, 2023Updated 3 years ago
- poststructural fuzzing☆31Jan 29, 2020Updated 6 years ago
- grep for C/C++ source files.☆30Aug 8, 2025Updated 7 months ago
- Tool to detect range statements iterating over addressable arrays☆28Dec 6, 2017Updated 8 years ago
- saphIR is an Intermediate Representation with amd64 and arm64 backends. Also included: a compiler, an arm64 lifter, an arm64 to amd64 dyn…☆32Feb 4, 2021Updated 5 years ago
- ☆29Dec 11, 2025Updated 2 months ago
- An automated setup for fuzzing Redis w/ AFL++☆35Mar 12, 2022Updated 3 years ago
- repackage the golang elliptic library enhancements by Vlad Krasnov and Shay Gueron as a stand alone library. Works with Go 1.4 or Go 1.5.☆35Sep 7, 2015Updated 10 years ago
- A package for handling ssh certificates☆45Jan 20, 2022Updated 4 years ago
- Command-line Interface for Binar.ly☆39Jan 13, 2017Updated 9 years ago
- light ifconfig☆14Apr 13, 2019Updated 6 years ago
- Find unnecessarily exported identifiers in a package and help unexport them.☆35Nov 16, 2020Updated 5 years ago
- Send Go (golang) panics and errors to Honeybadger.☆35Jan 21, 2026Updated last month
- Signedness-Agnostic Strided-Interval☆38Jun 21, 2019Updated 6 years ago
- Personal branch of git://c9x.me/qbe.git☆37Oct 29, 2021Updated 4 years ago
- A coverage-guided, native Lua fuzzing engine.☆59Updated this week
- ☆12May 30, 2019Updated 6 years ago
- In this training will be covered about a very basic step for malware analysis. Using several free tools to recognize malware behavior. Si…☆12May 25, 2016Updated 9 years ago
- user mode apt-get☆14Aug 10, 2024Updated last year
- Fill the top of clear skies in stitched panoramas☆11Feb 20, 2024Updated 2 years ago
- A toy LDAP server in C for illustrative purposes☆12Apr 6, 2011Updated 14 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- Symbolic Execution for WebAssembly☆10Jun 10, 2018Updated 7 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago