4524 search results for ""

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

    No documentation

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

    No documentation

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