118 search results for "author:"BAP Team""
Showing 51 - 100
-
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 2 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
-
bap-radare2
No documentation
Extract symbols from binary using radare22.5.0MITUsed by 1 other packages14 Jul 2022 -
Provides a loader for raw binaries2.5.0MITUsed by 1 other packages14 Jul 2022
-
Stores command line parameters and resources in a single file2.5.0MITUsed by 3 other packages14 Jul 2022
-
Provides commands to manipulate the recipe subsystem2.5.0MITUsed by 1 other packages14 Jul 2022
-
A set of relations (bimap)2.5.0MITUsed by 7 other packages14 Jul 2022
-
bap-relocatable
No documentation
Extracts symbolic information from the program relocations2.5.0MITUsed by 1 other packages14 Jul 2022 -
A BAP plugin that reports program status2.5.0MITUsed by 1 other packages14 Jul 2022
-
BAP RISCV lifter and disassembler2.5.0MITUsed by 1 other packages14 Jul 2022
-
A BAP plugin that executes a binary2.5.0MITUsed by 1 other packages14 Jul 2022
-
A data package with binary signatures for BAP2.5.0MITUsed by 1 other packages14 Jul 2022
-
Implements the specification command2.5.0MITUsed by 1 other packages14 Jul 2022
-
A BAP plugin, that translates a program into the SSA form2.5.0MITUsed by 1 other packages14 Jul 2022
-
The Binary Analysis Platform Standard Library2.5.0MITUsed by 82 other packages14 Jul 2022
-
Text utilities useful in Binary Analysis and Reverse Engineering2.5.0MITUsed by 5 other packages14 Jul 2022
-
Identifies and manages stub functions in a binary2.5.0MITUsed by 1 other packages14 Jul 2022
-
BAP plugin that reads symbol information from files2.5.0MITUsed by 1 other packages14 Jul 2022
-
A target support package for the Systemz (Z9) ISA2.5.0MITUsed by 1 other packages14 Jul 2022
-
BAP Taint Analysis Framework2.5.0MITUsed by 3 other packages14 Jul 2022
-
BAP Taint propagation engine using based on microexecution2.5.0MITUsed by 1 other packages14 Jul 2022
-
A BAP DSL for mapping program terms2.5.0MITUsed by 1 other packages14 Jul 2022
-
A target support package for the Thumb instruction set2.5.0MITUsed by 1 other packages14 Jul 2022
-
BAP toplevel, baptop2.5.0MITUsed by 1 other packages14 Jul 2022
-
A plugin to load and run program execution traces2.5.0MITUsed by 1 other packages14 Jul 2022
-
BAP Library for loading and parsing execution traces2.5.0MITUsed by 4 other packages14 Jul 2022