4288 search results for "author:" ""

Showing 251 - 300
  1. 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
    14 Jul 2022
  2. bap-primus-round-robin-scheduler
    Documentation
    Evaluates all machines in the BFS order
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  3. bap-primus-support
    Documentation
    Provides supporting components for Primus
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  4. bap-primus-symbolic-executor

    No documentation

    Primus Symbolic Executor
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  5. 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
    14 Jul 2022
  6. bap-primus-taint
    Documentation
    A taint analysis control interface
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  7. bap-primus-test
    Documentation
    BAP Primus Testing and Program Verification module
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  8. bap-primus-track-visited
    Documentation
    Tracks basic blocks visited by Primus
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  9. bap-primus-wandering-scheduler
    Documentation
    Evaluates all machines while
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  10. 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
    14 Jul 2022
  11. bap-print
    Documentation
    Print plugin - print project in various formats
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  12. bap-radare2

    No documentation

    Extract symbols from binary using radare2
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  13. bap-raw
    Documentation
    Provides a loader for raw binaries
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  14. bap-recipe
    Documentation
    Stores command line parameters and resources in a single file
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  15. bap-recipe-command
    Documentation
    Provides commands to manipulate the recipe subsystem
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  16. bap-relation
    Documentation
    A set of relations (bimap)
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  17. bap-relocatable

    No documentation

    Extracts symbolic information from the program relocations
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  18. bap-report
    Documentation
    A BAP plugin that reports program status
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  19. bap-riscv
    Documentation
    BAP RISCV lifter and disassembler
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  20. bap-run
    Documentation
    A BAP plugin that executes a binary
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  21. bap-signatures
    Documentation
    A data package with binary signatures for BAP
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  22. bap-specification
    Documentation
    Implements the specification command
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  23. 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
    14 Jul 2022
  24. bap-std
    Documentation
    The Binary Analysis Platform Standard Library
    BAP Team
    2.5.0
    MIT
    Used by 82 other packages
    14 Jul 2022
  25. bap-strings
    Documentation
    Text utilities useful in Binary Analysis and Reverse Engineering
    BAP Team
    2.5.0
    MIT
    Used by 5 other packages
    14 Jul 2022
  26. bap-stub-resolver
    Documentation
    Identifies and manages stub functions in a binary
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  27. bap-symbol-reader
    Documentation
    BAP plugin that reads symbol information from files
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  28. bap-systemz
    Documentation
    A target support package for the Systemz (Z9) ISA
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  29. bap-taint
    Documentation
    BAP Taint Analysis Framework
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  30. bap-taint-propagator
    Documentation
    BAP Taint propagation engine using based on microexecution
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  31. bap-term-mapper
    Documentation
    A BAP DSL for mapping program terms
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  32. bap-thumb
    Documentation
    A target support package for the Thumb instruction set
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  33. bap-toplevel
    Documentation
    BAP toplevel, baptop
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  34. bap-trace
    Documentation
    A plugin to load and run program execution traces
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  35. bap-traces
    Documentation
    BAP Library for loading and parsing execution traces
    BAP Team
    2.5.0
    MIT
    Used by 4 other packages
    14 Jul 2022
  36. bap-trivial-condition-form
    Documentation
    Eliminates complex conditionals in branches
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  37. bap-veri

    No documentation

    BAP Instruction Semantics Verification Tool
    BAP Team
    0.2.5
    MIT
    Used by 0 other packages
    02 Jun 2020
  38. 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
    14 Jul 2022
  39. bap-x86

    No documentation

    BAP x86 lifter
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  40. bare
    Documentation
    BAP Rule Engine Library
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  41. bare_encoding
    Documentation
    BARE encoding, see https://baremessages.org/
    encoding binary bare
    simon cruanes
    0.3.1
    MIT
    Used by 0 other packages
    07 Sep 2023
  42. 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
    20 Apr 2020
  43. base
    Documentation
    Full standard library replacement for OCaml
    Jane Street Group, LLC
    v0.17.3
    MIT
    Used by 214 other packages
    13 Jun 2025
  44. base-bytes
    Documentation
    Bytes library distributed with the OCaml compiler
    base
    Used by 139 other packages
    03 Jul 2014
  45. base-implicits

    No documentation

    Dummy base package for compilers with modular implicits support.
    Jeremy Yallop
    base
    Used by 1 other packages
    27 Mar 2017
  46. base-metaocaml-ocamlfind

    No documentation

    Findlib toolchain configuration for MetaOCaml
    Jeremy Yallop
    base
    MIT
    Used by 2 other packages
    27 Dec 2014
  47. 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
    19 Apr 2017
  48. base32
    Documentation
    Base32 encoding for OCaml
    pukkamustard <pukkamustard@posteo.net>
    1.0.0
    ISC
    Used by 0 other packages
    14 Jun 2022
  49. base58
    Documentation
    Base58 encoding and decoding
    Adriaan Larmuseau <adriaan.larmuseau@gmail.com>
    0.1.2
    Artistic-2.0
    Used by 0 other packages
    19 Oct 2015
  50. base64
    Documentation
    Base64 encoding for OCaml
    Thomas Gazagnaire Anil Madhavapeddy Calascibetta Romain Peter Zotov
    3.5.1
    ISC
    Used by 114 other packages
    01 Feb 2023
... 5 6 7 ... 86