122 Search Results
bap
Binary Analysis Platform
2.5.0
MIT
Used by 6 other packages
bap-abi
BAP ABI integration subsystem
2.5.0
MIT
Used by 12 other packages
bap-analyze
Implements the analyze command
2.5.0
MIT
Used by 1 other packages
bap-api
A pass that adds parameters to subroutines based on known API
2.5.0
MIT
Used by 7 other packages
bap-arm
BAP ARM lifter and disassembler
2.5.0
MIT
Used by 4 other packages
bap-beagle
BAP obfuscated string solver
2.5.0
MIT
Used by 2 other packages
bap-beagle-strings
Finds strings of characters using microexecution
2.5.0
MIT
Used by 1 other packages
bap-bil
Controls the BIL transformation pipeline
2.5.0
MIT
Used by 1 other packages
bap-build
BAP build automation tools
2.5.0
MIT
Used by 3 other packages
bap-bundle
BAP bundler
2.5.0
MIT
Used by 4 other packages
bap-byteweight
BAP facility for indentifying code entry points
2.5.0
MIT
Used by 2 other packages
bap-byteweight-frontend
BAP Toolkit for training and controlling Byteweight algorithm
2.5.0
MIT
Used by 2 other packages
bap-c
A C language support library for BAP
2.5.0
MIT
Used by 9 other packages
bap-cache
BAP caching service
2.5.0
MIT
Used by 1 other packages
bap-callgraph-collator
Collates programs based on their callgraphs
2.5.0
MIT
Used by 1 other packages
bap-callsites
Inject data definition terms at callsites
2.5.0
MIT
Used by 1 other packages
bap-constant-tracker
Constant Tracking Analysis based on Primus
2.5.0
MIT
Used by 1 other packages
bap-core
Binary Analysis Platform
2.5.0
MIT
Used by 1 other packages
bap-core-theory
BAP Semantics Representation
2.5.0
MIT
Used by 28 other packages
bap-cxxfilt
A demangler that relies on a c++filt utility
2.5.0
MIT
Used by 1 other packages
bap-dead-code-elimination
A BAP plugin that removes dead IR code
1.4.0
MIT
Used by 1 other packages
bap-demangle
Provides names service and demangling facilities
2.5.0
MIT
Used by 4 other packages
bap-dependencies
Analyzes program dependencies
2.5.0
MIT
Used by 1 other packages
bap-disassemble
Implements the disassemble command
2.5.0
MIT
Used by 1 other packages
bap-dump-symbols
BAP plugin that dumps symbols information from a binary
2.5.0
MIT
Used by 1 other packages
bap-dwarf
BAP DWARF parsing library
2.5.0
MIT
Used by 1 other packages
bap-elementary
BAP floating point approximations of elementary functions
2.5.0
MIT
Used by 1 other packages
bap-elf
BAP ELF parser and loader written in native OCaml
2.5.0
MIT
Used by 1 other packages
bap-extra
Binary Analysis Platform
2.5.0
MIT
Used by 0 other packages
bap-flatten
A BAP plugin, that translates a program into the flatten form
2.5.0
MIT
Used by 1 other packages
bap-frames
A data format for storing execution traces
2.1.2
MIT
Used by 0 other packages
bap-frontc
A C language frontend for based on FrontC library
2.5.0
MIT
Used by 1 other packages
bap-frontend
BAP frontend
2.5.0
MIT
Used by 1 other packages
bap-fsi-benchmark
BAP function start identification benchmark game
2.5.0
MIT
Used by 0 other packages
bap-future
A library for asynchronous values
2.5.0
MIT
Used by 16 other packages
bap-ghidra
BAP Ghidra backend
2.5.0
MIT
Used by 1 other packages
bap-glibc-runtime
Detects the presence of glibc runtime
2.5.0
MIT
Used by 1 other packages
bap-ida
An IDA Pro integration library
2.5.0
MIT
Used by 1 other packages
bap-ida-plugin
Plugins for IDA and BAP integration
2.5.0
MIT
Used by 1 other packages
bap-ida-python
A BAP - IDA Pro integration library
2.3.0
MIT
Used by 1 other packages
bap-knowledge
Knowledge Representation Library
2.5.0
MIT
Used by 28 other packages
bap-llvm
BAP LLVM backend
2.5.0
MIT
Used by 3 other packages
bap-main
Build BAP Main Framework Configuration Library
2.5.0
MIT
Used by 36 other packages
bap-mc
BAP machine instruction playground
2.5.0
MIT
Used by 1 other packages
bap-microx
A micro execution framework
2.5.0
MIT
Used by 3 other packages
bap-mips
BAP MIPS lifter
2.5.0
MIT
Used by 1 other packages
bap-objdump
Extract symbols from binary, using binutils objdump
2.5.0
MIT
Used by 1 other packages
bap-optimization
A BAP plugin that removes dead IR code
2.5.0
MIT
Used by 1 other packages
bap-patterns
Applies semantic actions to the matching byte patterns
2.5.0
MIT
Used by 1 other packages
bap-phoenix
BAP plugin that dumps information in a phoenix decompiler format
2.5.0
MIT
Used by 0 other packages
bap-piqi
BAP plugin for serialization based on piqi library
2.5.0
MIT
Used by 0 other packages
bap-plugins
BAP plugins support library
2.5.0
MIT
Used by 5 other packages
bap-powerpc
BAP PowerPC lifter
2.5.0
MIT
Used by 2 other packages
bap-primus
The BAP Microexecution Framework
2.5.0
MIT
Used by 29 other packages
bap-primus-dictionary
BAP Primus Lisp library that provides dictionaries
2.5.0
MIT
Used by 1 other packages
bap-primus-exploring-scheduler
Evaluates all machines, prioritizing the least visited
2.5.0
MIT
Used by 1 other packages
bap-primus-greedy-scheduler
Evaluates all machines in the DFS order
2.5.0
MIT
Used by 1 other packages
bap-primus-limit
Ensures termination by limiting Primus machines
2.5.0
MIT
Used by 1 other packages
bap-primus-lisp
BAP Primus Lisp Runtime
2.5.0
MIT
Used by 1 other packages
bap-primus-loader
Generic program loader for Primus
2.5.0
MIT
Used by 1 other packages
bap-primus-mark-visited
Registers the bap:mark-visited component
2.5.0
MIT
Used by 1 other packages
bap-primus-powerpc
Performs the PowerPC target specific setup
2.5.0
MIT
Used by 1 other packages
bap-primus-print
Prints Primus states and observations
2.5.0
MIT
Used by 1 other packages
bap-primus-promiscuous
Enables the promiscuous mode of execution
2.5.0
MIT
Used by 1 other packages
bap-primus-propagate-taint
A compatibility layer between different taint analysis frameworks
2.5.0
MIT
Used by 1 other packages
bap-primus-random
Provides components for Primus state randomization
2.5.0
MIT
Used by 1 other packages
bap-primus-region
Provides a set of operations to store and manipulate interval trees
2.5.0
MIT
Used by 1 other packages
bap-primus-round-robin-scheduler
Evaluates all machines in the BFS order
2.5.0
MIT
Used by 1 other packages
bap-primus-support
Provides supporting components for Primus
2.5.0
MIT
Used by 2 other packages
bap-primus-symbolic-executor
Primus Symbolic Executor
2.5.0
MIT
Used by 1 other packages
bap-primus-systems
Loads Primus systems and registers them in the system repository
2.5.0
MIT
Used by 1 other packages
bap-primus-taint
A taint analysis control interface
2.5.0
MIT
Used by 1 other packages
bap-primus-test
BAP Primus Testing and Program Verification module
2.5.0
MIT
Used by 1 other packages
bap-primus-track-visited
Tracks basic blocks visited by Primus
2.5.0
MIT
Used by 2 other packages
bap-primus-wandering-scheduler
Evaluates all machines while
2.5.0
MIT
Used by 1 other packages
bap-primus-x86
The x86 CPU support package for BAP Primus CPU emulator
2.5.0
MIT
Used by 1 other packages
bap-print
Print plugin - print project in various formats
2.5.0
MIT
Used by 1 other packages
bap-radare2
Extract symbols from binary using radare2
2.5.0
MIT
Used by 1 other packages
bap-raw
Provides a loader for raw binaries
2.5.0
MIT
Used by 1 other packages
bap-recipe
Stores command line parameters and resources in a single file
2.5.0
MIT
Used by 3 other packages
bap-recipe-command
Provides commands to manipulate the recipe subsystem
2.5.0
MIT
Used by 1 other packages
bap-relation
A set of relations (bimap)
2.5.0
MIT
Used by 7 other packages
bap-relocatable
Extracts symbolic information from the program relocations
2.5.0
MIT
Used by 1 other packages
bap-report
A BAP plugin that reports program status
2.5.0
MIT
Used by 1 other packages
bap-riscv
BAP RISCV lifter and disassembler
2.5.0
MIT
Used by 1 other packages
bap-run
A BAP plugin that executes a binary
2.5.0
MIT
Used by 1 other packages
bap-saluki
A verification framework for detecting vulnerability patterns in binaries
bap-1.6
MIT
Used by 0 other packages
bap-server
BAP RPC server
0.3.0
MIT
Used by 0 other packages
bap-signatures
A data package with binary signatures for BAP
2.5.0
MIT
Used by 1 other packages
bap-specification
Implements the specification command
2.5.0
MIT
Used by 1 other packages
bap-ssa
A BAP plugin, that translates a program into the SSA form
2.5.0
MIT
Used by 1 other packages
bap-std
The Binary Analysis Platform Standard Library
2.5.0
MIT
Used by 87 other packages
bap-strings
Text utilities useful in Binary Analysis and Reverse Engineering
2.5.0
MIT
Used by 5 other packages
bap-stub-resolver
Identifies and manages stub functions in a binary
2.5.0
MIT
Used by 1 other packages
bap-symbol-reader
BAP plugin that reads symbol information from files
2.5.0
MIT
Used by 1 other packages
bap-systemz
A target support package for the Systemz (Z9) ISA
2.5.0
MIT
Used by 1 other packages
bap-taint
BAP Taint Analysis Framework
2.5.0
MIT
Used by 3 other packages
bap-taint-propagator
BAP Taint propagation engine using based on microexecution
2.5.0
MIT
Used by 1 other packages
bap-term-mapper
A BAP DSL for mapping program terms
2.5.0
MIT
Used by 1 other packages
bap-thumb
A target support package for the Thumb instruction set
2.5.0
MIT
Used by 1 other packages
bap-toplevel
BAP toplevel, baptop
2.5.0
MIT
Used by 1 other packages
bap-trace
A plugin to load and run program execution traces
2.5.0
MIT
Used by 1 other packages
bap-traces
BAP Library for loading and parsing execution traces
2.5.0
MIT
Used by 5 other packages
bap-trivial-condition-form
Eliminates complex conditionals in branches
2.5.0
MIT
Used by 1 other packages
bap-veri
BAP Instruction Semantics Verification Tool
0.2.5
MIT
Used by 0 other packages
bap-warn-unused
Emit a warning if an unused result may cause a bug or security issue
2.5.0
MIT
Used by 1 other packages
bap-x86
BAP x86 lifter
2.5.0
MIT
Used by 3 other packages
bare
BAP Rule Engine Library
2.5.0
MIT
Used by 2 other packages
bitvec
Fixed-size bitvectors and modular arithmetic, based on Zarith
2.5.0
MIT
Used by 22 other packages
bitvec-binprot
Janestreet's Binprot serialization for Bitvec
2.5.0
MIT
Used by 3 other packages
bitvec-order
Base style comparators and orders for Bitvec
2.5.0
MIT
Used by 8 other packages
bitvec-sexp
Sexp serializers for Bitvec
2.5.0
MIT
Used by 7 other packages
conf-binutils
Checks that binutils are installed
0.3
MIT
Used by 4 other packages
conf-ida
Checks that IDA Pro is installed
0.3
MIT
Used by 2 other packages
conf-radare2
Checks that radare2 is installed
0.1
MIT
Used by 2 other packages
core-lwt
Lwt library wrapper in the Janestreet core style
0.3.0
MIT
Used by 1 other packages
graphlib
Generic Graph library
2.5.0
MIT
Used by 7 other packages
monads
A missing monad library
2.5.0
MIT
Used by 26 other packages
ogre
Open Generic REpresentation NoSQL Database
2.5.0
MIT
Used by 19 other packages
ppx_bap
The set of ppx rewriters for BAP
v0.14.0
MIT
Used by 63 other packages
regular
Library for regular data types
2.5.0
MIT
Used by 32 other packages
text-tags
A library for rich formatting using semantics tags
2.5.0
MIT
Used by 2 other packages