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-executorNo 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-x86No 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-radare2No 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-relocatableNo 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