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

Showing 51 - 100
  1. BAP PowerPC lifter
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  2. The BAP Microexecution Framework
    2.5.0
    MIT
    Used by 29 other packages
    14 Jul 2022
  3. BAP Primus Lisp library that provides dictionaries
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  4. Evaluates all machines, prioritizing the least visited
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  5. Evaluates all machines in the DFS order
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  6. Ensures termination by limiting Primus machines
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  7. BAP Primus Lisp Runtime
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  8. Generic program loader for Primus
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  9. Registers the bap:mark-visited component
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  10. Performs the PowerPC target specific setup
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  11. Prints Primus states and observations
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  12. Enables the promiscuous mode of execution
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  13. A compatibility layer between different taint analysis frameworks
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  14. Provides components for Primus state randomization
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  15. Provides a set of operations to store and manipulate interval trees
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  16. Evaluates all machines in the BFS order
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  17. Provides supporting components for Primus
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  18. Primus Symbolic Executor
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  19. Loads Primus systems and registers them in the system repository
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  20. A taint analysis control interface
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  21. BAP Primus Testing and Program Verification module
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  22. Tracks basic blocks visited by Primus
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  23. Evaluates all machines while
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  24. bap-primus-x86

    No documentation

    The x86 CPU support package for BAP Primus CPU emulator
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  25. Print plugin - print project in various formats
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  26. bap-radare2

    No documentation

    Extract symbols from binary using radare2
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  27. Provides a loader for raw binaries
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  28. Stores command line parameters and resources in a single file
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  29. Provides commands to manipulate the recipe subsystem
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  30. A set of relations (bimap)
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  31. bap-relocatable

    No documentation

    Extracts symbolic information from the program relocations
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  32. A BAP plugin that reports program status
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  33. BAP RISCV lifter and disassembler
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  34. A BAP plugin that executes a binary
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  35. A data package with binary signatures for BAP
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  36. Implements the specification command
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  37. A BAP plugin, that translates a program into the SSA form
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  38. The Binary Analysis Platform Standard Library
    2.5.0
    MIT
    Used by 82 other packages
    14 Jul 2022
  39. Text utilities useful in Binary Analysis and Reverse Engineering
    2.5.0
    MIT
    Used by 5 other packages
    14 Jul 2022
  40. Identifies and manages stub functions in a binary
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  41. BAP plugin that reads symbol information from files
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  42. A target support package for the Systemz (Z9) ISA
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  43. BAP Taint Analysis Framework
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  44. BAP Taint propagation engine using based on microexecution
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  45. A BAP DSL for mapping program terms
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  46. A target support package for the Thumb instruction set
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  47. BAP toplevel, baptop
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  48. A plugin to load and run program execution traces
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  49. BAP Library for loading and parsing execution traces
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  50. Eliminates complex conditionals in branches
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022