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

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

    No documentation

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

    No documentation

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