4288 search results for "author:" ""

Showing 201 - 250
  1. bap-core-theory
    Documentation
    BAP Semantics Representation
    BAP Team
    2.5.0
    MIT
    Used by 28 other packages
    14 Jul 2022
  2. bap-cxxfilt
    Documentation
    A demangler that relies on a c++filt utility
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  3. bap-demangle
    Documentation
    Provides names service and demangling facilities
    BAP Team
    2.5.0
    MIT
    Used by 4 other packages
    14 Jul 2022
  4. bap-dependencies
    Documentation
    Analyzes program dependencies
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  5. bap-disassemble
    Documentation
    Implements the disassemble command
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  6. bap-dump-symbols
    Documentation
    BAP plugin that dumps symbols information from a binary
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  7. bap-dwarf
    Documentation
    BAP DWARF parsing library
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  8. bap-elementary
    Documentation
    BAP floating point approximations of elementary functions
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  9. bap-elf
    Documentation
    BAP ELF parser and loader written in native OCaml
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  10. bap-emacs-dot
    Documentation
    Will automatically detect graph specifications in a dot syntax and display them using overlaying
    Ivan Gotovchits <ivg@ieee.org>
    0.1
    MIT
    Used by 1 other packages
    26 Oct 2018
  11. bap-emacs-goodies
    Documentation
    A collection of useful Emacs tools for BAP
    Thomas Barabosch <thomas.barabosch@fkie.fraunhofer.de> Ivan Gotovchits <ivg@ieee.org>
    0.1
    MIT
    Used by 1 other packages
    26 Oct 2018
  12. bap-emacs-mode
    Documentation
    Emacs major mode for reading and analyzing programs in BAP's IR
    Thomas Barabosch <thomas.barabosch@fkie.fraunhofer.de>
    0.1
    MIT
    Used by 1 other packages
    26 Oct 2018
  13. bap-extra

    No documentation

    Binary Analysis Platform
    BAP Team
    2.5.0
    MIT
    Used by 0 other packages
    14 Jul 2022
  14. bap-flatten
    Documentation
    A BAP plugin, that translates a program into the flatten form
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  15. bap-frames

    No documentation

    A data format for storing execution traces
    BAP Team
    2.1.0
    MIT
    Used by 0 other packages
    04 Oct 2016
  16. bap-frontc
    Documentation
    A C language frontend for based on FrontC library
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  17. bap-frontend
    Documentation
    BAP frontend
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  18. bap-fsi-benchmark

    No documentation

    BAP function start identification benchmark game
    BAP Team
    2.3.0
    MIT
    Used by 0 other packages
    04 Jun 2021
  19. bap-future
    Documentation
    A library for asynchronous values
    BAP Team
    2.5.0
    MIT
    Used by 15 other packages
    14 Jul 2022
  20. bap-ghidra

    No documentation

    BAP Ghidra backend
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  21. bap-glibc-runtime
    Documentation
    Detects the presence of glibc runtime
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  22. bap-ida

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

    BAP LLVM backend
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  27. bap-main
    Documentation
    Build BAP Main Framework Configuration Library
    BAP Team
    2.5.0
    MIT
    Used by 36 other packages
    14 Jul 2022
  28. bap-mc
    Documentation
    BAP machine instruction playground
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  29. bap-microx
    Documentation
    A micro execution framework
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  30. bap-mips
    Documentation
    BAP MIPS lifter
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  31. bap-objdump
    Documentation
    Extract symbols from binary, using binutils objdump
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  32. bap-optimization
    Documentation
    A BAP plugin that removes dead IR code
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  33. bap-patterns
    Documentation
    Applies semantic actions to the matching byte patterns
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  34. bap-phoenix
    Documentation
    BAP plugin that dumps information in a phoenix decompiler format
    BAP Team
    2.5.0
    MIT
    Used by 0 other packages
    14 Jul 2022
  35. bap-piqi
    Documentation
    BAP plugin for serialization based on piqi library
    BAP Team
    2.5.0
    MIT
    Used by 0 other packages
    14 Jul 2022
  36. bap-plugins
    Documentation
    BAP plugins support library
    BAP Team
    2.5.0
    MIT
    Used by 5 other packages
    14 Jul 2022
  37. bap-powerpc
    Documentation
    BAP PowerPC lifter
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  38. bap-primus
    Documentation
    The BAP Microexecution Framework
    BAP Team
    2.5.0
    MIT
    Used by 29 other packages
    14 Jul 2022
  39. bap-primus-dictionary
    Documentation
    BAP Primus Lisp library that provides dictionaries
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  40. bap-primus-exploring-scheduler
    Documentation
    Evaluates all machines, prioritizing the least visited
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  41. bap-primus-greedy-scheduler
    Documentation
    Evaluates all machines in the DFS order
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  42. bap-primus-limit
    Documentation
    Ensures termination by limiting Primus machines
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  43. bap-primus-lisp
    Documentation
    BAP Primus Lisp Runtime
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  44. bap-primus-loader
    Documentation
    Generic program loader for Primus
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  45. bap-primus-mark-visited
    Documentation
    Registers the bap:mark-visited component
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  46. bap-primus-powerpc
    Documentation
    Performs the PowerPC target specific setup
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  47. bap-primus-print
    Documentation
    Prints Primus states and observations
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  48. bap-primus-promiscuous
    Documentation
    Enables the promiscuous mode of execution
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  49. bap-primus-propagate-taint
    Documentation
    A compatibility layer between different taint analysis frameworks
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  50. bap-primus-random
    Documentation
    Provides components for Primus state randomization
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
... 4 5 6 ... 86