4543 search results for ""

Showing 251 - 300
  1. 0.1
    MIT
    Used by 1 other packages
    26 Oct 2018
  2. Emacs major mode for reading and analyzing programs in BAP's IR
    0.1
    MIT
    Used by 1 other packages
    26 Oct 2018
  3. bap-extra

    No documentation

    Binary Analysis Platform
    2.5.0
    MIT
    Used by 0 other packages
    14 Jul 2022
  4. A BAP plugin, that translates a program into the flatten form
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  5. A C language frontend for based on FrontC library
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  6. BAP frontend
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  7. bap-fsi-benchmark

    No documentation

    BAP function start identification benchmark game
    2.3.0
    MIT
    Used by 0 other packages
    04 Jun 2021
  8. A library for asynchronous values
    2.5.0
    MIT
    Used by 14 other packages
    14 Jul 2022
  9. bap-ghidra

    No documentation

    BAP Ghidra backend
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  10. Detects the presence of glibc runtime
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  11. bap-ida

    No documentation

    An IDA Pro integration library
    2.3.0
    MIT
    Used by 1 other packages
    04 Jun 2021
  12. bap-ida-plugin

    No documentation

    Plugins for IDA and BAP integration
    2.5.0
    MIT
    Used by 0 other packages
    14 Jul 2022
  13. bap-ida-python

    No documentation

    A BAP - IDA Pro integration library
    2.3.0
    MIT
    Used by 1 other packages
    04 Jun 2021
  14. Knowledge Representation Library
    2.5.0
    MIT
    Used by 27 other packages
    14 Jul 2022
  15. bap-llvm

    No documentation

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