hex0punk / wallyLinks
Function callpath mapping analysis tool for Go
☆34Updated 9 months ago
Alternatives and similar repositories for wally
Users that are interested in wally are comparing it to the libraries listed below
Sorting:
- Semgrep queries developed by Trail of Bits.☆453Updated last month
- CodeQL queries developed by Trail of Bits☆137Updated last month
- Deptective automatically determines the native dependencies required to run any arbitrary program or command.☆126Updated last week
- Coverage-Guided Greybox Distributed Fuzzer☆132Updated 7 months ago
- Automatic fuzz targets generation for Golang packages☆55Updated last month
- An open-source security suite aiming to combine structural code analysis with AI-powered vulnerability detection. Built for advanced stru…☆83Updated 2 weeks ago
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆68Updated last year
- 🚰 Static taint analysis for Go programs.☆78Updated 2 weeks ago
- A Server Side Request Forgery (SSRF) protection library. Made with 🖤 by Doyensec LLC.☆109Updated 6 months ago
- A set of vulnerable Golang programs☆179Updated 2 years ago
- Trail of Bits Testing Handbook☆87Updated 3 weeks ago
- Fuzz go code using LibAFL's capabilities with Go’s native instrumentation.☆55Updated last week
- CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution☆125Updated this week
- A Certificate Transparency log implementation and monitoring API designed for scalability, ease of operation, and reduced cost.☆269Updated last week
- Simple syscall sandboxing for Linux☆144Updated last month
- SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results☆39Updated last week
- Autarkie - Instant Grammar Fuzzing Using Rust Macros☆85Updated last week
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆79Updated 2 weeks ago
- Code Hierarchy Exploration Net (chen)☆24Updated last week
- Go library for SARIF - Static Analysis Results Interchange Format☆81Updated last month
- ☆108Updated last year
- An intentionally vulnerable Javascript app containing notable vulnerabilities in its dependencies.☆19Updated 2 years ago
- Community Cryptography Test Vectors☆88Updated this week
- semgrep rules for flakiness, missed error handling, Lua antipatterns and pitfalls.☆17Updated last year
- Process behaviour anomaly detection using eBPF and unsupervised-learning Autoencoders☆135Updated 3 years ago
- SAST + LLM Interprocedural Context Extractor☆167Updated last month
- Lightweight fuzzing of a memory snapshot using KVM☆461Updated last year
- Underconstrained symbolic execution for cryptography verification☆19Updated 4 years ago
- atom is a novel intermediate representation for applications and a standalone tool that is powered by chen.☆78Updated last week
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆78Updated last week