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

Showing 51 - 100
  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

    No documentation

    BAP PowerPC lifter
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  4. bap-primus

    No documentation

    The BAP Microexecution Framework
    2.5.0
    MIT
    Used by 29 other packages
    14 Jul 2022
  5. bap-primus-dictionary

    No documentation

    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. bap-primus-limit

    No documentation

    Ensures termination by limiting Primus machines
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  9. bap-primus-lisp

    No documentation

    BAP Primus Lisp Runtime
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  10. bap-primus-loader

    No documentation

    Generic program loader for Primus
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  11. bap-primus-mark-visited

    No documentation

    Registers the bap:mark-visited component
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  12. bap-primus-powerpc

    No documentation

    Performs the PowerPC target specific setup
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  13. bap-primus-print

    No documentation

    Prints Primus states and observations
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  14. bap-primus-promiscuous

    No documentation

    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. bap-primus-random

    No documentation

    Provides components for Primus state randomization
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  17. bap-primus-region

    No documentation

    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. bap-primus-support

    No documentation

    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. bap-primus-systems

    No documentation

    Loads Primus systems and registers them in the system repository
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  22. bap-primus-taint

    No documentation

    A taint analysis control interface
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  23. bap-primus-test

    No documentation

    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. bap-print

    No documentation

    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. bap-raw

    No documentation

    Provides a loader for raw binaries
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  30. bap-recipe

    No documentation

    Stores command line parameters and resources in a single file
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  31. bap-recipe-command

    No documentation

    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. bap-report

    No documentation

    A BAP plugin that reports program status
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  35. bap-riscv

    No documentation

    BAP RISCV lifter and disassembler
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  36. bap-run

    No documentation

    A BAP plugin that executes a binary
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  37. A verification framework for detecting vulnerability patterns in binaries
    bap-1.6
    MIT
    Used by 0 other packages
    10 Apr 2019
  38. bap-server

    No documentation

    BAP RPC server
    0.3.0
    MIT
    Used by 0 other packages
    10 Apr 2019
  39. A data package with binary signatures for BAP
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  40. bap-specification

    No documentation

    Implements the specification command
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  41. bap-ssa

    No documentation

    A BAP plugin, that translates a program into the SSA form
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  42. The Binary Analysis Platform Standard Library
    2.5.0
    MIT
    Used by 87 other packages
    14 Jul 2022
  43. bap-strings

    No documentation

    Text utilities useful in Binary Analysis and Reverse Engineering
    2.5.0
    MIT
    Used by 5 other packages
    14 Jul 2022
  44. Identifies and manages stub functions in a binary
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  45. bap-symbol-reader

    No documentation

    BAP plugin that reads symbol information from files
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  46. bap-systemz

    No documentation

    A target support package for the Systemz (Z9) ISA
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  47. bap-taint

    No documentation

    BAP Taint Analysis Framework
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  48. bap-taint-propagator

    No documentation

    BAP Taint propagation engine using based on microexecution
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  49. bap-term-mapper

    No documentation

    A BAP DSL for mapping program terms
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  50. bap-thumb

    No documentation

    A target support package for the Thumb instruction set
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022