4543 search results for ""
Showing 251 - 300
-
A collection of useful Emacs tools for BAP0.1MITUsed by 1 other packages26 Oct 2018
-
Emacs major mode for reading and analyzing programs in BAP's IR0.1MITUsed by 1 other packages26 Oct 2018
-
bap-extra
No documentation
Binary Analysis Platform2.5.0MITUsed by 0 other packages14 Jul 2022 -
A BAP plugin, that translates a program into the flatten form2.5.0MITUsed by 1 other packages14 Jul 2022
-
A C language frontend for based on FrontC library2.5.0MITUsed by 1 other packages14 Jul 2022
-
BAP frontend2.5.0MITUsed by 1 other packages14 Jul 2022
-
bap-fsi-benchmark
No documentation
BAP function start identification benchmark game2.3.0MITUsed by 0 other packages04 Jun 2021 -
A library for asynchronous values2.5.0MITUsed by 14 other packages14 Jul 2022
-
bap-ghidra
No documentation
BAP Ghidra backend2.5.0MITUsed by 1 other packages14 Jul 2022 -
Detects the presence of glibc runtime2.5.0MITUsed by 1 other packages14 Jul 2022
-
bap-ida
No documentation
An IDA Pro integration library2.3.0MITUsed by 1 other packages04 Jun 2021 -
bap-ida-plugin
No documentation
Plugins for IDA and BAP integration2.5.0MITUsed by 0 other packages14 Jul 2022 -
bap-ida-python
No documentation
A BAP - IDA Pro integration library2.3.0MITUsed by 1 other packages04 Jun 2021 -
Knowledge Representation Library2.5.0MITUsed by 27 other packages14 Jul 2022
-
bap-llvm
No documentation
BAP LLVM backend2.5.0MITUsed by 2 other packages14 Jul 2022 -
Build BAP Main Framework Configuration Library2.5.0MITUsed by 35 other packages14 Jul 2022
-
BAP machine instruction playground2.5.0MITUsed by 1 other packages14 Jul 2022
-
A micro execution framework2.5.0MITUsed by 3 other packages14 Jul 2022
-
BAP MIPS lifter2.5.0MITUsed by 1 other packages14 Jul 2022
-
Extract symbols from binary, using binutils objdump2.5.0MITUsed by 1 other packages14 Jul 2022
-
A BAP plugin that removes dead IR code2.5.0MITUsed by 1 other packages14 Jul 2022
-
Applies semantic actions to the matching byte patterns2.5.0MITUsed by 1 other packages14 Jul 2022
-
BAP plugin that dumps information in a phoenix decompiler format2.5.0MITUsed by 0 other packages14 Jul 2022
-
BAP plugin for serialization based on piqi library2.5.0MITUsed by 0 other packages14 Jul 2022
-
BAP plugins support library2.5.0MITUsed by 5 other packages14 Jul 2022
-
BAP PowerPC lifter2.5.0MITUsed by 2 other packages14 Jul 2022
-
The BAP Microexecution Framework2.5.0MITUsed by 29 other packages14 Jul 2022
-
BAP Primus Lisp library that provides dictionaries2.5.0MITUsed by 1 other packages14 Jul 2022
-
Evaluates all machines, prioritizing the least visited2.5.0MITUsed by 1 other packages14 Jul 2022
-
Evaluates all machines in the DFS order2.5.0MITUsed by 1 other packages14 Jul 2022
-
Ensures termination by limiting Primus machines2.5.0MITUsed by 1 other packages14 Jul 2022
-
BAP Primus Lisp Runtime2.5.0MITUsed by 1 other packages14 Jul 2022
-
Generic program loader for Primus2.5.0MITUsed by 1 other packages14 Jul 2022
-
Registers the bap:mark-visited component2.5.0MITUsed by 1 other packages14 Jul 2022
-
Performs the PowerPC target specific setup2.5.0MITUsed by 1 other packages14 Jul 2022
-
Prints Primus states and observations2.5.0MITUsed by 1 other packages14 Jul 2022
-
Enables the promiscuous mode of execution2.5.0MITUsed by 1 other packages14 Jul 2022
-
A compatibility layer between different taint analysis frameworks2.5.0MITUsed by 1 other packages14 Jul 2022
-
Provides components for Primus state randomization2.5.0MITUsed by 1 other packages14 Jul 2022
-
Provides a set of operations to store and manipulate interval trees2.5.0MITUsed by 1 other packages14 Jul 2022
-
Evaluates all machines in the BFS order2.5.0MITUsed by 1 other packages14 Jul 2022
-
Provides supporting components for Primus2.5.0MITUsed by 1 other packages14 Jul 2022
-
bap-primus-symbolic-executor
No documentation
Primus Symbolic Executor2.5.0MITUsed by 1 other packages14 Jul 2022 -
Loads Primus systems and registers them in the system repository2.5.0MITUsed by 1 other packages14 Jul 2022
-
A taint analysis control interface2.5.0MITUsed by 1 other packages14 Jul 2022
-
BAP Primus Testing and Program Verification module2.5.0MITUsed by 1 other packages14 Jul 2022
-
Tracks basic blocks visited by Primus2.5.0MITUsed by 2 other packages14 Jul 2022
-
Evaluates all machines while2.5.0MITUsed by 1 other packages14 Jul 2022
-
bap-primus-x86
No documentation
The x86 CPU support package for BAP Primus CPU emulator2.5.0MITUsed by 1 other packages14 Jul 2022 -
Print plugin - print project in various formats2.5.0MITUsed by 1 other packages14 Jul 2022