122 search results for "author:"BAP Team""
-
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
No documentation
BAP PowerPC lifter2.5.0MITUsed by 2 other packages14 Jul 2022 -
bap-primus
No documentation
The BAP Microexecution Framework2.5.0MITUsed by 29 other packages14 Jul 2022 -
bap-primus-dictionary
No documentation
BAP Primus Lisp library that provides dictionaries2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-primus-exploring-scheduler
No documentation
Evaluates all machines, prioritizing the least visited2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-primus-greedy-scheduler
No documentation
Evaluates all machines in the DFS order2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-primus-limit
No documentation
Ensures termination by limiting Primus machines2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-primus-lisp
No documentation
BAP Primus Lisp Runtime2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-primus-loader
No documentation
Generic program loader for Primus2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-primus-mark-visited
No documentation
Registers the bap:mark-visited component2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-primus-powerpc
No documentation
Performs the PowerPC target specific setup2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-primus-print
No documentation
Prints Primus states and observations2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-primus-promiscuous
No documentation
Enables the promiscuous mode of execution2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-primus-propagate-taint
No documentation
A compatibility layer between different taint analysis frameworks2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-primus-random
No documentation
Provides components for Primus state randomization2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-primus-region
No documentation
Provides a set of operations to store and manipulate interval trees2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-primus-round-robin-scheduler
No documentation
Evaluates all machines in the BFS order2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-primus-support
No documentation
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 -
bap-primus-systems
No documentation
Loads Primus systems and registers them in the system repository2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-primus-taint
No documentation
A taint analysis control interface2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-primus-test
No documentation
BAP Primus Testing and Program Verification module2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-primus-track-visited
No documentation
Tracks basic blocks visited by Primus2.5.0MITUsed by 2 other packages14 Jul 2022 -
bap-primus-wandering-scheduler
No documentation
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 -
bap-print
No documentation
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 -
bap-raw
No documentation
Provides a loader for raw binaries2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-recipe
No documentation
Stores command line parameters and resources in a single file2.5.0MITUsed by 3 other packages14 Jul 2022 -
bap-recipe-command
No documentation
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 -
bap-report
No documentation
A BAP plugin that reports program status2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-riscv
No documentation
BAP RISCV lifter and disassembler2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-run
No documentation
A BAP plugin that executes a binary2.5.0MITUsed by 1 other packages14 Jul 2022 -
A verification framework for detecting vulnerability patterns in binariesbap-1.6MITUsed by 0 other packages10 Apr 2019
-
bap-server
No documentation
BAP RPC server0.3.0MITUsed by 0 other packages10 Apr 2019 -
A data package with binary signatures for BAP2.5.0MITUsed by 1 other packages14 Jul 2022
-
bap-specification
No documentation
Implements the specification command2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-ssa
No documentation
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 87 other packages14 Jul 2022
-
bap-strings
No documentation
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-symbol-reader
No documentation
BAP plugin that reads symbol information from files2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-systemz
No documentation
A target support package for the Systemz (Z9) ISA2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-taint
No documentation
BAP Taint Analysis Framework2.5.0MITUsed by 3 other packages14 Jul 2022 -
bap-taint-propagator
No documentation
BAP Taint propagation engine using based on microexecution2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-term-mapper
No documentation
A BAP DSL for mapping program terms2.5.0MITUsed by 1 other packages14 Jul 2022 -
bap-thumb
No documentation
A target support package for the Thumb instruction set2.5.0MITUsed by 1 other packages14 Jul 2022