4234 search results for "author:" ""

Showing 251 - 300
  1. bap-primus-propagate-taint

    No documentation

    A compatibility layer between different taint analysis frameworks
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  2. bap-primus-random

    No documentation

    Provides components for Primus state randomization
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  3. bap-primus-region

    No 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
  4. bap-primus-round-robin-scheduler

    No documentation

    Evaluates all machines in the BFS order
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  5. bap-primus-support

    No documentation

    Provides supporting components for Primus
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  6. bap-primus-symbolic-executor

    No documentation

    Primus Symbolic Executor
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  7. bap-primus-systems

    No 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
  8. bap-primus-taint

    No documentation

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

    No documentation

    BAP Primus Testing and Program Verification module
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  10. bap-primus-track-visited

    No documentation

    Tracks basic blocks visited by Primus
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  11. bap-primus-wandering-scheduler

    No documentation

    Evaluates all machines while
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  12. 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
  13. bap-print

    No documentation

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

    No documentation

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

    No documentation

    Provides a loader for raw binaries
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  16. bap-recipe

    No 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
  17. bap-recipe-command

    No documentation

    Provides commands to manipulate the recipe subsystem
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  18. bap-relation
    Documentation
    A set of relations (bimap)
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  19. 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
  20. bap-report

    No documentation

    A BAP plugin that reports program status
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  21. bap-riscv

    No documentation

    BAP RISCV lifter and disassembler
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  22. bap-run

    No documentation

    A BAP plugin that executes a binary
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  23. 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
  24. bap-specification

    No documentation

    Implements the specification command
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  25. bap-ssa

    No 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
  26. bap-std
    Documentation
    The Binary Analysis Platform Standard Library
    BAP Team
    2.5.0
    MIT
    Used by 82 other packages
    14 Jul 2022
  27. bap-strings

    No documentation

    Text utilities useful in Binary Analysis and Reverse Engineering
    BAP Team
    2.5.0
    MIT
    Used by 5 other packages
    14 Jul 2022
  28. 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
  29. bap-symbol-reader

    No documentation

    BAP plugin that reads symbol information from files
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  30. bap-systemz

    No documentation

    A target support package for the Systemz (Z9) ISA
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  31. bap-taint

    No documentation

    BAP Taint Analysis Framework
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  32. bap-taint-propagator

    No documentation

    BAP Taint propagation engine using based on microexecution
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  33. bap-term-mapper

    No documentation

    A BAP DSL for mapping program terms
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  34. bap-thumb

    No documentation

    A target support package for the Thumb instruction set
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  35. bap-toplevel

    No documentation

    BAP toplevel, baptop
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  36. bap-trace

    No documentation

    A plugin to load and run program execution traces
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  37. bap-traces

    No documentation

    BAP Library for loading and parsing execution traces
    BAP Team
    2.5.0
    MIT
    Used by 4 other packages
    14 Jul 2022
  38. bap-trivial-condition-form

    No documentation

    Eliminates complex conditionals in branches
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  39. bap-veri

    No documentation

    BAP Instruction Semantics Verification Tool
    BAP Team
    0.2.5
    MIT
    Used by 0 other packages
    02 Jun 2020
  40. bap-warn-unused

    No 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
  41. bap-x86

    No documentation

    BAP x86 lifter
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  42. bare
    Documentation
    BAP Rule Engine Library
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  43. 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
  44. 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
  45. base
    Documentation
    Full standard library replacement for OCaml
    Jane Street Group, LLC
    v0.17.1
    MIT
    Used by 211 other packages
    30 Jun 2024
  46. base-bytes
    Documentation
    Bytes library distributed with the OCaml compiler
    base
    Used by 150 other packages
    03 Jul 2014
  47. base-implicits

    No documentation

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

    No documentation

    Findlib toolchain configuration for MetaOCaml
    Jeremy Yallop
    base
    MIT
    Used by 2 other packages
    27 Dec 2014
  49. 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
  50. base32
    Documentation
    Base32 encoding for OCaml
    pukkamustard <pukkamustard@posteo.net>
    1.0.0
    ISC
    Used by 0 other packages
    14 Jun 2022
... 5 6 7 ... 85