Static analysis tool to slice python programs
☆38Dec 1, 2016Updated 9 years ago
Alternatives and similar repositories for programslice
Users that are interested in programslice are comparing it to the libraries listed below
Sorting:
- Simply C program slicing tool in C☆10Jun 19, 2015Updated 10 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 years ago
- Sample DirectX hook. D3D9, D3D10, D3D11☆10May 22, 2017Updated 8 years ago
- ☆12May 6, 2020Updated 5 years ago
- Immunity Debugger Taint Tracer☆20Jun 18, 2013Updated 12 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- A blanked execution framework based on the Unicorn engine☆19Jan 29, 2017Updated 9 years ago
- A taint tracing plugin for Valgrind, unofficial mirror for https://code.google.com/p/flayer/☆16Aug 5, 2015Updated 10 years ago
- Program Analysis for LLVM☆38Mar 25, 2017Updated 8 years ago
- Rode0day API Client☆18Jan 9, 2019Updated 7 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- My RE challenge from Northsec 2018.☆14Jun 1, 2022Updated 3 years ago
- A simple DLL that can intercept HID messages and pass them on to the real HID DLL, while logging the data.☆22Oct 3, 2014Updated 11 years ago
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆22Jul 30, 2016Updated 9 years ago
- IDAPython script in order to auto-rename subs☆20May 17, 2017Updated 8 years ago
- KLEE-TAINT - Klee with taint analysis support☆71Oct 23, 2017Updated 8 years ago
- Design assets for Fedora Hubs design☆15Nov 29, 2017Updated 8 years ago
- ☆19Dec 9, 2022Updated 3 years ago
- Slicing tool for c++ programs using clang AST.☆18Mar 8, 2021Updated 4 years ago
- 模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)☆23Apr 7, 2021Updated 4 years ago
- Lightweight Symbolic Execution Engine☆23Jul 1, 2015Updated 10 years ago
- aurora-d☆20Apr 24, 2022Updated 3 years ago
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Jan 23, 2015Updated 11 years ago
- Windows Console Monitor☆34Jun 11, 2019Updated 6 years ago
- WinValgrind ( valgrind for windows ) : Resource leak tracking tool for windows.☆34Sep 28, 2013Updated 12 years ago
- OpenAI Gym environment for binary fuzzing based on afl☆23Dec 12, 2018Updated 7 years ago
- Clone of the IDAPython repo☆23Mar 16, 2015Updated 10 years ago
- a net filter drive developed by wfp and msddk☆23Jul 15, 2019Updated 6 years ago
- IDA recompiler☆31Dec 8, 2014Updated 11 years ago
- TRACER Symbolic Execution Tool☆28Jun 16, 2020Updated 5 years ago
- elfcrypter is a free, open source, ELF ( Executable and Linkable Format ) software protector, written in C/C++ and Assembler. Support for…☆28Feb 20, 2014Updated 12 years ago
- A TrustedBSD module to control execution of binaries with suid bit set☆38Oct 3, 2014Updated 11 years ago
- REIL translation library☆36May 6, 2016Updated 9 years ago
- List the real world programs evaluated in fuzzing papers.☆56Jan 14, 2019Updated 7 years ago
- Tools built using Dyninst or Dyninst component libraries.☆25Mar 15, 2023Updated 2 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆45Jan 27, 2016Updated 10 years ago
- IDA plugin for software complexity metrics assessment☆60Jan 4, 2018Updated 8 years ago
- PhpSecInfo provides an equivalent to the phpinfo() function that reports security information about the PHP environment, and offers sugge…☆47Sep 11, 2011Updated 14 years ago
- Symbol REPL☆31Mar 4, 2018Updated 7 years ago