122 search results for "author:"BAP Team""

  1. Binary Analysis Platform
    2.5.0
    MIT
    Used by 6 other packages
    14 Jul 2022
  2. BAP ABI integration subsystem
    2.5.0
    MIT
    Used by 12 other packages
    14 Jul 2022
  3. Implements the analyze command
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  4. A pass that adds parameters to subroutines based on known API
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  5. BAP ARM lifter and disassembler
    2.5.0
    MIT
    Used by 4 other packages
    14 Jul 2022
  6. BAP obfuscated string solver
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  7. Finds strings of characters using microexecution
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  8. Controls the BIL transformation pipeline
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  9. BAP build automation tools
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  10. BAP bundler
    2.5.0
    MIT
    Used by 4 other packages
    14 Jul 2022
  11. BAP facility for indentifying code entry points
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  12. BAP Toolkit for training and controlling Byteweight algorithm
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  13. A C language support library for BAP
    2.5.0
    MIT
    Used by 9 other packages
    14 Jul 2022
  14. BAP caching service
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  15. Collates programs based on their callgraphs
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  16. Inject data definition terms at callsites
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  17. Constant Tracking Analysis based on Primus
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  18. Binary Analysis Platform
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  19. BAP Semantics Representation
    2.5.0
    MIT
    Used by 28 other packages
    14 Jul 2022
  20. A demangler that relies on a c++filt utility
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  21. A BAP plugin that removes dead IR code
    1.4.0
    MIT
    Used by 1 other packages
    13 Mar 2018
  22. Provides names service and demangling facilities
    2.5.0
    MIT
    Used by 4 other packages
    14 Jul 2022
  23. Analyzes program dependencies
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  24. Implements the disassemble command
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  25. BAP plugin that dumps symbols information from a binary
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  26. BAP DWARF parsing library
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  27. BAP floating point approximations of elementary functions
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  28. BAP ELF parser and loader written in native OCaml
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  29. Binary Analysis Platform
    2.5.0
    MIT
    Used by 0 other packages
    14 Jul 2022
  30. A BAP plugin, that translates a program into the flatten form
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  31. A data format for storing execution traces
    2.1.2
    MIT
    Used by 0 other packages
    10 Apr 2019
  32. A C language frontend for based on FrontC library
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  33. BAP frontend
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  34. BAP function start identification benchmark game
    2.5.0
    MIT
    Used by 0 other packages
    14 Jul 2022
  35. A library for asynchronous values
    2.5.0
    MIT
    Used by 16 other packages
    14 Jul 2022
  36. BAP Ghidra backend
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  37. Detects the presence of glibc runtime
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  38. An IDA Pro integration library
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  39. Plugins for IDA and BAP integration
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  40. A BAP - IDA Pro integration library
    2.3.0
    MIT
    Used by 1 other packages
    04 Jun 2021
  41. Knowledge Representation Library
    2.5.0
    MIT
    Used by 28 other packages
    14 Jul 2022
  42. BAP LLVM backend
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  43. Build BAP Main Framework Configuration Library
    2.5.0
    MIT
    Used by 36 other packages
    14 Jul 2022
  44. BAP machine instruction playground
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  45. A micro execution framework
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  46. BAP MIPS lifter
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  47. Extract symbols from binary, using binutils objdump
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  48. A BAP plugin that removes dead IR code
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  49. Applies semantic actions to the matching byte patterns
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  50. BAP plugin that dumps information in a phoenix decompiler format
    2.5.0
    MIT
    Used by 0 other packages
    14 Jul 2022
  51. BAP plugin for serialization based on piqi library
    2.5.0
    MIT
    Used by 0 other packages
    14 Jul 2022
  52. BAP plugins support library
    2.5.0
    MIT
    Used by 5 other packages
    14 Jul 2022
  53. BAP PowerPC lifter
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  54. The BAP Microexecution Framework
    2.5.0
    MIT
    Used by 29 other packages
    14 Jul 2022
  55. BAP Primus Lisp library that provides dictionaries
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  56. Evaluates all machines, prioritizing the least visited
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  57. Evaluates all machines in the DFS order
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  58. Ensures termination by limiting Primus machines
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  59. BAP Primus Lisp Runtime
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  60. Generic program loader for Primus
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  61. Registers the bap:mark-visited component
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  62. Performs the PowerPC target specific setup
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  63. Prints Primus states and observations
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  64. Enables the promiscuous mode of execution
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  65. A compatibility layer between different taint analysis frameworks
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  66. Provides components for Primus state randomization
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  67. Provides a set of operations to store and manipulate interval trees
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  68. Evaluates all machines in the BFS order
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  69. Provides supporting components for Primus
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  70. Primus Symbolic Executor
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  71. Loads Primus systems and registers them in the system repository
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  72. A taint analysis control interface
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  73. BAP Primus Testing and Program Verification module
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  74. Tracks basic blocks visited by Primus
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  75. Evaluates all machines while
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  76. The x86 CPU support package for BAP Primus CPU emulator
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  77. Print plugin - print project in various formats
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  78. Extract symbols from binary using radare2
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  79. Provides a loader for raw binaries
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  80. Stores command line parameters and resources in a single file
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  81. Provides commands to manipulate the recipe subsystem
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  82. A set of relations (bimap)
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  83. Extracts symbolic information from the program relocations
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  84. A BAP plugin that reports program status
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  85. BAP RISCV lifter and disassembler
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  86. A BAP plugin that executes a binary
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  87. A verification framework for detecting vulnerability patterns in binaries
    bap-1.6
    MIT
    Used by 0 other packages
    10 Apr 2019
  88. BAP RPC server
    0.3.0
    MIT
    Used by 0 other packages
    10 Apr 2019
  89. A data package with binary signatures for BAP
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  90. Implements the specification command
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  91. A BAP plugin, that translates a program into the SSA form
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  92. The Binary Analysis Platform Standard Library
    2.5.0
    MIT
    Used by 87 other packages
    14 Jul 2022
  93. Text utilities useful in Binary Analysis and Reverse Engineering
    2.5.0
    MIT
    Used by 5 other packages
    14 Jul 2022
  94. Identifies and manages stub functions in a binary
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  95. BAP plugin that reads symbol information from files
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  96. A target support package for the Systemz (Z9) ISA
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  97. BAP Taint Analysis Framework
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  98. BAP Taint propagation engine using based on microexecution
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  99. A BAP DSL for mapping program terms
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  100. A target support package for the Thumb instruction set
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  101. BAP toplevel, baptop
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  102. A plugin to load and run program execution traces
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  103. BAP Library for loading and parsing execution traces
    2.5.0
    MIT
    Used by 5 other packages
    14 Jul 2022
  104. Eliminates complex conditionals in branches
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  105. BAP Instruction Semantics Verification Tool
    0.2.5
    MIT
    Used by 0 other packages
    02 Jun 2020
  106. Emit a warning if an unused result may cause a bug or security issue
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  107. BAP x86 lifter
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  108. BAP Rule Engine Library
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  109. Fixed-size bitvectors and modular arithmetic, based on Zarith
    2.5.0
    MIT
    Used by 22 other packages
    14 Jul 2022
  110. Janestreet's Binprot serialization for Bitvec
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  111. Base style comparators and orders for Bitvec
    2.5.0
    MIT
    Used by 8 other packages
    14 Jul 2022
  112. Sexp serializers for Bitvec
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  113. Checks that binutils are installed
    0.3
    MIT
    Used by 4 other packages
    19 Jul 2020
  114. Checks that IDA Pro is installed
    0.3
    MIT
    Used by 2 other packages
    30 Jul 2020
  115. Checks that radare2 is installed
    0.1
    MIT
    Used by 2 other packages
    06 Aug 2020
  116. Lwt library wrapper in the Janestreet core style
    0.3.0
    MIT
    Used by 1 other packages
    10 Apr 2019
  117. Generic Graph library
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  118. A missing monad library
    2.5.0
    MIT
    Used by 26 other packages
    14 Jul 2022
  119. Open Generic REpresentation NoSQL Database
    2.5.0
    MIT
    Used by 19 other packages
    14 Jul 2022
  120. The set of ppx rewriters for BAP
    v0.14.0
    MIT
    Used by 63 other packages
    07 Nov 2020
  121. Library for regular data types
    2.5.0
    MIT
    Used by 32 other packages
    14 Jul 2022
  122. A library for rich formatting using semantics tags
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022