4434 search results for ""

Showing 251 - 300
  1. A micro execution framework
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  2. BAP MIPS lifter
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  3. Extract symbols from binary, using binutils objdump
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  4. A BAP plugin that removes dead IR code
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  5. Applies semantic actions to the matching byte patterns
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  6. BAP plugin that dumps information in a phoenix decompiler format
    2.5.0
    MIT
    Used by 0 other packages
    14 Jul 2022
  7. BAP plugin for serialization based on piqi library
    2.5.0
    MIT
    Used by 0 other packages
    14 Jul 2022
  8. BAP plugins support library
    2.5.0
    MIT
    Used by 5 other packages
    14 Jul 2022
  9. BAP PowerPC lifter
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  10. The BAP Microexecution Framework
    2.5.0
    MIT
    Used by 29 other packages
    14 Jul 2022
  11. BAP Primus Lisp library that provides dictionaries
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  12. Evaluates all machines, prioritizing the least visited
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  13. Evaluates all machines in the DFS order
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  14. Ensures termination by limiting Primus machines
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  15. BAP Primus Lisp Runtime
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  16. Generic program loader for Primus
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  17. Registers the bap:mark-visited component
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  18. Performs the PowerPC target specific setup
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  19. Prints Primus states and observations
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  20. Enables the promiscuous mode of execution
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  21. A compatibility layer between different taint analysis frameworks
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  22. Provides components for Primus state randomization
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  23. Provides a set of operations to store and manipulate interval trees
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  24. Evaluates all machines in the BFS order
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  25. Provides supporting components for Primus
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  26. Primus Symbolic Executor
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  27. Loads Primus systems and registers them in the system repository
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  28. A taint analysis control interface
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  29. BAP Primus Testing and Program Verification module
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  30. Tracks basic blocks visited by Primus
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  31. Evaluates all machines while
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  32. 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
  33. Print plugin - print project in various formats
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  34. bap-radare2

    No documentation

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

    No documentation

    Extracts symbolic information from the program relocations
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  40. A BAP plugin that reports program status
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  41. BAP RISCV lifter and disassembler
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  42. A BAP plugin that executes a binary
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  43. A data package with binary signatures for BAP
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  44. Implements the specification command
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  45. A BAP plugin, that translates a program into the SSA form
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  46. The Binary Analysis Platform Standard Library
    2.5.0
    MIT
    Used by 82 other packages
    14 Jul 2022
  47. Text utilities useful in Binary Analysis and Reverse Engineering
    2.5.0
    MIT
    Used by 5 other packages
    14 Jul 2022
  48. Identifies and manages stub functions in a binary
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  49. BAP plugin that reads symbol information from files
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  50. A target support package for the Systemz (Z9) ISA
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022