hex0punk / wallyLinks
Function callpath mapping analysis tool for Go
☆34Updated 5 months ago
Alternatives and similar repositories for wally
Users that are interested in wally are comparing it to the libraries listed below
Sorting:
- Automatic fuzz targets generation for Golang packages☆53Updated 7 months ago
- image scaling attacks for multi-modal prompt injection☆56Updated this week
- Deptective automatically determines the native dependencies required to run any arbitrary program or command.☆117Updated last week
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated last year
- Coverage-Guided Greybox Distributed Fuzzer☆131Updated 4 months ago
- Semgrep queries developed by Trail of Bits.☆427Updated last month
- CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution☆119Updated last week
- Code Pathfinder, the open-source alternative to GitHub CodeQL built with GoLang. Built for advanced structural search, derive insights, f…☆66Updated this week
- A Certificate Transparency log implementation and monitoring API designed for scalability, ease of operation, and reduced cost.☆252Updated last week
- CodeQL queries developed by Trail of Bits☆110Updated 2 months ago
- A Server Side Request Forgery (SSRF) protection library. Made with 🖤 by Doyensec LLC.☆104Updated 2 months ago
- Autarkie - Instant Grammar Fuzzing Using Rust Macros☆78Updated this week
- SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results☆30Updated 2 weeks ago
- Process behaviour anomaly detection using eBPF and unsupervised-learning Autoencoders☆131Updated 3 years ago
- Lightweight fuzzing of a memory snapshot using KVM☆458Updated last year
- ☆26Updated this week
- Simple syscall sandboxing for Linux☆136Updated this week
- Fuzz go code using LibAFL's capabilities with Go’s native instrumentation.☆52Updated 2 months ago
- A set of vulnerable Golang programs☆176Updated 2 years ago
- A static analysis file format checker.☆265Updated 5 years ago
- Bertie TLS 1.3 Implementation☆124Updated 2 months ago
- CTADL is a static taint analysis tool☆44Updated 3 months ago
- Golang example code showing dangers with unsafe.Pointer usages☆50Updated 4 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- LD_PRELOADable library for exploring the glibc heap☆107Updated 5 months ago
- DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code☆17Updated last year
- sandbox demo☆11Updated last year
- A web fuzzer using the httpipe format☆101Updated last year
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆73Updated last month
- Go library for SARIF - Static Analysis Results Interchange Format☆80Updated last month