VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.
☆12Sep 14, 2017Updated 8 years ago
Alternatives and similar repositories for visualDFA
Users that are interested in visualDFA are comparing it to the libraries listed below
Sorting:
- An LLVM-based formal verification frontend for C programs.☆26Oct 29, 2021Updated 4 years ago
- A minimal, Turing-complete, Domain-Specific Language; simple text editor with an interpreter, Abstract Syntax Tree and reduced Control Fl…☆19Aug 23, 2021Updated 4 years ago
- A benchmark to evaluate taint analysis☆27Jun 20, 2022Updated 3 years ago
- Agnostic and Modular Serverless Web Framework. Build and modularize custom API endpoints, inspired by NextJS APIs. Export to Vercel and L…☆12May 27, 2024Updated last year
- ☆11Aug 5, 2020Updated 5 years ago
- Static analysis framework for .NET programs.☆29Dec 17, 2020Updated 5 years ago
- A cheat sheet that summarises "strategies" (or techniques) to use with angr.☆32Jan 24, 2021Updated 5 years ago
- http://archive.ics.uci.edu/ml/index.html☆11Jan 25, 2020Updated 6 years ago
- light ifconfig☆14Apr 13, 2019Updated 6 years ago
- Resolve software differencing and merging☆38Jul 15, 2022Updated 3 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Nov 13, 2025Updated 3 months ago
- Flex 'em lexers☆42Oct 19, 2020Updated 5 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- 基于Java ASM技术和GadgetInspector的原理，尝试实现一个自动Java代码审计工具。目前做到了可控参数分析和数据流跟踪分析☆39Oct 26, 2021Updated 4 years ago
- A toy LDAP server in C for illustrative purposes☆12Apr 6, 2011Updated 14 years ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- COVA - A static analysis tool to compute path conditions☆40Jul 12, 2025Updated 7 months ago
- Online Form Builder, Drag-and-Drop, jQuery, ASP.NET, WEB Form, C-Sharp☆11Jul 15, 2025Updated 7 months ago
- ☆11May 30, 2017Updated 8 years ago
- FastjsonScan，支持版本识别、出网检测、AutoType检测、依赖检测，poc验证等功能☆13Jun 17, 2025Updated 8 months ago
- ☆12Oct 13, 2022Updated 3 years ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- Taint analysis implementation based on Heros and Soot☆45May 6, 2024Updated last year
- A set of macros and functions to make defining a C module easier☆11Sep 9, 2019Updated 6 years ago
- Golang eBPF RASP☆10Jul 19, 2023Updated 2 years ago
- Next.js Boilerplate with TypeScript, TailwindCSS, and Redux-Saga☆12May 1, 2021Updated 4 years ago
- [WIP] Interval Analysis on LLVM IR☆12Jul 6, 2020Updated 5 years ago
- ☆10Apr 8, 2024Updated last year
- an attempt to beat the shit out of gnulib☆11Sep 19, 2011Updated 14 years ago
- Mimetics determines the file type, MIME type, and media type of a given file using magic numbers and content analysis to detect the most …☆10Aug 7, 2025Updated 6 months ago
- The libtool accelerator: A miniature frontend for libtool that replaces libtool on sensible systems, and simply calls GNU libtool on eve…☆20Jun 1, 2014Updated 11 years ago
- A portable linker for multiple file formats.☆13Aug 28, 2023Updated 2 years ago
- A (very) tiny IRC server, C-version, public domain☆14Apr 22, 2025Updated 10 months ago
- Spectre variant 1 exploitation via PRIME+PROBE☆10May 22, 2019Updated 6 years ago
- Ranking LLM-Generated Loop Invariants for Program Verification.☆12Aug 20, 2024Updated last year
- The CRT X-Y library (libcrtxy) is meant to be used by video game programmers who wish to create games in the style of vector graphics a…☆13Sep 2, 2023Updated 2 years ago
- Native C++ Library☆49May 23, 2015Updated 10 years ago
- Hard Real-Time world-wide clock synchronization utilizing new better algorithms than PTP and NTP uses.☆14Jan 4, 2016Updated 10 years ago
- Read and write Mifare1K tags in Javascript☆13Sep 21, 2017Updated 8 years ago