4629 search results for ""

Showing 301 - 350
  1. bap-primus-wandering-scheduler
    Documentation
    Evaluates all machines while
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  2. 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
  3. 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
  4. 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
  5. bap-raw
    Documentation
    Provides a loader for raw binaries
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  6. 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
  7. 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
  8. bap-relation
    Documentation
    A set of relations (bimap)
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    Added to opam-repository
  9. 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
  10. 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
  11. bap-riscv
    Documentation
    BAP RISCV lifter and disassembler
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  12. 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
  13. 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
  14. bap-specification
    Documentation
    Implements the specification command
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  15. 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
  16. bap-std
    Documentation
    The Binary Analysis Platform Standard Library
    BAP Team
    2.5.0
    MIT
    Used by 82 other packages
    Added to opam-repository
  17. 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
  18. 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
  19. 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
  20. bap-systemz
    Documentation
    A target support package for the Systemz (Z9) ISA
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  21. bap-taint
    Documentation
    BAP Taint Analysis Framework
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  22. bap-taint-propagator
    Documentation
    BAP Taint propagation engine using based on microexecution
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  23. bap-term-mapper
    Documentation
    A BAP DSL for mapping program terms
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  24. bap-thumb
    Documentation
    A target support package for the Thumb instruction set
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  25. bap-toplevel
    Documentation
    BAP toplevel, baptop
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  26. bap-trace
    Documentation
    A plugin to load and run program execution traces
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  27. bap-traces
    Documentation
    BAP Library for loading and parsing execution traces
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  28. bap-trivial-condition-form
    Documentation
    Eliminates complex conditionals in branches
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  29. bap-warn-unused
    Documentation
    Emit a warning if an unused result may cause a bug or security issue
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  30. bap-x86

    No documentation

    BAP x86 lifter
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  31. bare
    Documentation
    BAP Rule Engine Library
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  32. bare_encoding
    Documentation
    BARE encoding, see https://baremessages.org/
    encoding binary bare
    simon cruanes
    0.3.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  33. bark
    Documentation
    Unofficial OCaml port of elm/parser (v1.1.0)
    Justin Lubin <jlubi333@gmail.com>
    0.1.4
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  34. base
    Documentation
    Full standard library replacement for OCaml
    Jane Street Group, LLC
    v0.17.3
    MIT
    Used by 223 other packages
    Added to opam-repository
  35. base-bigarray

    No documentation

    base
    Used by 59 other packages
    Added to opam-repository
  36. base-bytes
    Documentation
    Bytes library distributed with the OCaml compiler
    base
    Used by 137 other packages
    Added to opam-repository
  37. base-domains
    Documentation
    base
    Used by 11 other packages
    Added to opam-repository
  38. base-effects
    Documentation
    base
    Used by 3 other packages
    Added to opam-repository
  39. base-flambda2

    No documentation

    A pseudo library to indicate the present of Flambda2 features
    base
    Used by 1 other packages
    Added to opam-repository
  40. base-metaocaml-ocamlfind

    No documentation

    Findlib toolchain configuration for MetaOCaml
    Jeremy Yallop
    base
    MIT
    Used by 2 other packages
    Added to opam-repository
  41. base-native-int63
    Documentation
    Virtual package for enabling native int63 support in Base
    Jane Street Group, LLC
    0.1
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  42. base-nnp
    Documentation
    Naked pointers prohibited in the OCaml heap
    base
    Used by 5 other packages
    Added to opam-repository
  43. base-num

    No documentation

    Num library distributed with the OCaml compiler
    base
    Used by 0 other packages
    Added to opam-repository
  44. base-ocamlbuild

    No documentation

    OCamlbuild binary and libraries distributed with the OCaml compiler
    base
    Used by 1 other packages
    Added to opam-repository
  45. base-threads

    No documentation

    base
    Used by 40 other packages
    Added to opam-repository
  46. base-unix

    No documentation

    base
    Used by 225 other packages
    Added to opam-repository
  47. base32
    Documentation
    Base32 encoding for OCaml
    pukkamustard <pukkamustard@posteo.net>
    1.0.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  48. base58
    Documentation
    Base58 encoding and decoding
    Adriaan Larmuseau <adriaan.larmuseau@gmail.com>
    0.1.2
    Artistic-2.0
    Used by 0 other packages
    Added to opam-repository
  49. base64
    Documentation
    Base64 encoding for OCaml
    Thomas Gazagnaire Anil Madhavapeddy Calascibetta Romain Peter Zotov
    3.5.2
    ISC
    Used by 130 other packages
    Added to opam-repository
  50. base_bigstring
    Documentation
    String type based on [Bigarray], for use in I/O and C-bindings
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 3 other packages
    Added to opam-repository
... 6 7 8 ... 93