cs-au-dk / goatView external linksLinks
☆22Mar 20, 2023Updated 2 years ago
Alternatives and similar repositories for goat
Users that are interested in goat are comparing it to the libraries listed below
Sorting:
- Bytecode based Fuzzer for the PHP language☆12Jul 22, 2020Updated 5 years ago
- mini Julia Sonar Repo☆14Jan 22, 2025Updated last year
- ☆20Dec 21, 2019Updated 6 years ago
- A data dependence analyzer for C program☆20Jan 23, 2022Updated 4 years ago
- The notes about programming language theory☆27May 7, 2023Updated 2 years ago
- Overcooked! 2 TAS Development Framework☆10Aug 18, 2023Updated 2 years ago
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆43Jan 26, 2024Updated 2 years ago
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆43Dec 17, 2023Updated 2 years ago
- Using SVF in Python Projects☆14Feb 6, 2026Updated last week
- LLM-powered tool that enhances OpenAPI specifications by extracting machine-readable constraints from human-readable descriptions.☆14Nov 6, 2024Updated last year
- First two front-end phases of a language-independent compiler implemented in C++☆14Jul 27, 2020Updated 5 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- Visualize NFA and DFA constructed from regular exrepssion☆18Feb 10, 2017Updated 9 years ago
- ☆10Nov 7, 2023Updated 2 years ago
- `penv`: a better `env` & `venv`☆12May 24, 2017Updated 8 years ago
- Linux network namespace sysctl safety verifier.☆11Jun 20, 2021Updated 4 years ago
- Transform any binary file to a PNG image☆13Jul 19, 2019Updated 6 years ago
- 首届社交群体智能算法大赛 【赛题1:社交媒体舆论场虚假账号检测】第三名(0.8248)方案☆11May 30, 2024Updated last year
- The Universal Algebra Calculator☆16Jun 11, 2022Updated 3 years ago
- This repo contains materials from Just Hit the Core CTF team workshops organized thanks to KNI Kernel at AGH University of Science and Te…☆11Jan 10, 2018Updated 8 years ago
- Easily copy image to clipboard by right clicking image.☆17Sep 27, 2025Updated 4 months ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆44May 15, 2021Updated 4 years ago
- Scalable yet rigorous Floating-point Error Analysis☆11Jul 23, 2025Updated 6 months ago
- CVE-2019-2725 bypass pocscan and exp☆11Jun 21, 2019Updated 6 years ago
- ☆15Mar 19, 2022Updated 3 years ago
- A tool to build a graph from a codebase☆14Feb 19, 2025Updated 11 months ago
- A study of undefined behavior across foreign function boundaries in Rust libraries.☆11Feb 13, 2025Updated last year
- ☆12Apr 30, 2020Updated 5 years ago
- Tiered Memory Management Beyond Hotness (OSDI'25)☆31Jul 31, 2025Updated 6 months ago
- Easily identify the current runtime environment (Node.js, browser, Deno, etc.) and its version with this minimal library.☆12Nov 29, 2025Updated 2 months ago
- Static program analysis for TIP☆309May 5, 2025Updated 9 months ago
- patch presence test via symbolic signatures, ICSE'24☆12Mar 29, 2024Updated last year
- ☆11Aug 12, 2022Updated 3 years ago
- A comprehensive open-source cache trace dataset☆22Aug 23, 2025Updated 5 months ago
- 📝 A Rocq library written by members of PnV Discord Server☆18Updated this week
- TideRadar工业互联网安全监测平台☆11Aug 3, 2019Updated 6 years ago
- JEST: N+1-version Differential Testing of Both JavaScript Engines☆14Jun 1, 2021Updated 4 years ago
- Curated list of tools, skills, plugins, and MCP servers for Claude Code☆44Updated this week
- A blanket execution/min hash semantic hash tool for binary function identification☆18Apr 22, 2016Updated 9 years ago