4957 search results for ""

Showing 251 - 300
  1. bap-flatten

    No documentation

    A BAP plugin, that translates a program into the flatten form
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  2. A data format for storing execution traces
    2.1.2
    MIT
    Used by 0 other packages
    10 Apr 2019
  3. bap-frontc

    No documentation

    A C language frontend for based on FrontC library
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  4. bap-frontend

    No documentation

    BAP frontend
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  5. bap-fsi-benchmark

    No documentation

    BAP function start identification benchmark game
    2.5.0
    MIT
    Used by 0 other packages
    14 Jul 2022
  6. A library for asynchronous values
    2.5.0
    MIT
    Used by 16 other packages
    14 Jul 2022
  7. bap-ghidra

    No documentation

    BAP Ghidra backend
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  8. bap-glibc-runtime

    No documentation

    Detects the presence of glibc runtime
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  9. bap-ida

    No documentation

    An IDA Pro integration library
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  10. bap-ida-plugin

    No documentation

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

    No documentation

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

    No documentation

    BAP LLVM backend
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  14. Build BAP Main Framework Configuration Library
    2.5.0
    MIT
    Used by 36 other packages
    14 Jul 2022
  15. bap-mc

    No documentation

    BAP machine instruction playground
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  16. bap-microx

    No documentation

    A micro execution framework
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  17. bap-mips

    No documentation

    BAP MIPS lifter
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  18. bap-objdump

    No documentation

    Extract symbols from binary, using binutils objdump
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  19. bap-optimization

    No documentation

    A BAP plugin that removes dead IR code
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  20. bap-patterns

    No documentation

    Applies semantic actions to the matching byte patterns
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  21. BAP plugin that dumps information in a phoenix decompiler format
    2.5.0
    MIT
    Used by 0 other packages
    14 Jul 2022
  22. BAP plugin for serialization based on piqi library
    2.5.0
    MIT
    Used by 0 other packages
    14 Jul 2022
  23. BAP plugins support library
    2.5.0
    MIT
    Used by 5 other packages
    14 Jul 2022
  24. bap-powerpc

    No documentation

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

    No documentation

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

    No documentation

    BAP Primus Lisp library that provides dictionaries
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  27. Evaluates all machines, prioritizing the least visited
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  28. Evaluates all machines in the DFS order
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  29. bap-primus-limit

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

    Enables the promiscuous mode of execution
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  36. A compatibility layer between different taint analysis frameworks
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  37. bap-primus-random

    No documentation

    Provides components for Primus state randomization
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  38. 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
  39. Evaluates all machines in the BFS order
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  40. bap-primus-support

    No documentation

    Provides supporting components for Primus
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  41. Primus Symbolic Executor
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  42. 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
  43. bap-primus-taint

    No documentation

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

    No documentation

    BAP Primus Testing and Program Verification module
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  45. Tracks basic blocks visited by Primus
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  46. Evaluates all machines while
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  47. 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
  48. bap-print

    No documentation

    Print plugin - print project in various formats
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  49. bap-radare2

    No documentation

    Extract symbols from binary using radare2
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  50. bap-raw

    No documentation

    Provides a loader for raw binaries
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022