4333 search results for "author:" ""

Showing 251 - 300
  1. bap-mc
    Documentation
    BAP machine instruction playground
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  2. bap-microx
    Documentation
    A micro execution framework
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  3. bap-mips
    Documentation
    BAP MIPS lifter
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  4. bap-objdump
    Documentation
    Extract symbols from binary, using binutils objdump
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  5. bap-optimization
    Documentation
    A BAP plugin that removes dead IR code
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  6. bap-patterns
    Documentation
    Applies semantic actions to the matching byte patterns
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  7. bap-phoenix
    Documentation
    BAP plugin that dumps information in a phoenix decompiler format
    BAP Team
    2.5.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  8. bap-piqi
    Documentation
    BAP plugin for serialization based on piqi library
    BAP Team
    2.5.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  9. bap-plugins
    Documentation
    BAP plugins support library
    BAP Team
    2.5.0
    MIT
    Used by 5 other packages
    Added to opam-repository
  10. bap-powerpc
    Documentation
    BAP PowerPC lifter
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    Added to opam-repository
  11. bap-primus
    Documentation
    The BAP Microexecution Framework
    BAP Team
    2.5.0
    MIT
    Used by 29 other packages
    Added to opam-repository
  12. bap-primus-dictionary
    Documentation
    BAP Primus Lisp library that provides dictionaries
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  13. bap-primus-exploring-scheduler
    Documentation
    Evaluates all machines, prioritizing the least visited
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  14. bap-primus-greedy-scheduler
    Documentation
    Evaluates all machines in the DFS order
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  15. bap-primus-limit
    Documentation
    Ensures termination by limiting Primus machines
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  16. bap-primus-lisp
    Documentation
    BAP Primus Lisp Runtime
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  17. bap-primus-loader
    Documentation
    Generic program loader for Primus
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  18. bap-primus-mark-visited
    Documentation
    Registers the bap:mark-visited component
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  19. bap-primus-powerpc
    Documentation
    Performs the PowerPC target specific setup
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  20. bap-primus-print
    Documentation
    Prints Primus states and observations
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  21. bap-primus-promiscuous
    Documentation
    Enables the promiscuous mode of execution
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  22. bap-primus-propagate-taint
    Documentation
    A compatibility layer between different taint analysis frameworks
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  23. bap-primus-random
    Documentation
    Provides components for Primus state randomization
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  24. bap-primus-region
    Documentation
    Provides a set of operations to store and manipulate interval trees
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  25. bap-primus-round-robin-scheduler
    Documentation
    Evaluates all machines in the BFS order
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  26. bap-primus-support
    Documentation
    Provides supporting components for Primus
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  27. bap-primus-symbolic-executor

    No documentation

    Primus Symbolic Executor
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  28. bap-primus-systems
    Documentation
    Loads Primus systems and registers them in the system repository
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  29. bap-primus-taint
    Documentation
    A taint analysis control interface
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  30. bap-primus-test
    Documentation
    BAP Primus Testing and Program Verification module
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  31. bap-primus-track-visited
    Documentation
    Tracks basic blocks visited by Primus
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    Added to opam-repository
  32. bap-primus-wandering-scheduler
    Documentation
    Evaluates all machines while
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  33. bap-primus-x86

    No documentation

    The x86 CPU support package for BAP Primus CPU emulator
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  34. bap-print
    Documentation
    Print plugin - print project in various formats
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  35. bap-radare2

    No documentation

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

    No documentation

    Extracts symbolic information from the program relocations
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  41. bap-report
    Documentation
    A BAP plugin that reports program status
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  42. bap-riscv
    Documentation
    BAP RISCV lifter and disassembler
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  43. bap-run
    Documentation
    A BAP plugin that executes a binary
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  44. bap-signatures
    Documentation
    A data package with binary signatures for BAP
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  45. bap-specification
    Documentation
    Implements the specification command
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  46. bap-ssa
    Documentation
    A BAP plugin, that translates a program into the SSA form
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  47. bap-std
    Documentation
    The Binary Analysis Platform Standard Library
    BAP Team
    2.5.0
    MIT
    Used by 82 other packages
    Added to opam-repository
  48. bap-strings
    Documentation
    Text utilities useful in Binary Analysis and Reverse Engineering
    BAP Team
    2.5.0
    MIT
    Used by 5 other packages
    Added to opam-repository
  49. bap-stub-resolver
    Documentation
    Identifies and manages stub functions in a binary
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  50. bap-symbol-reader
    Documentation
    BAP plugin that reads symbol information from files
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
... 5 6 7 ... 87