118 search results for "author:"BAP Team""

Showing 101 - 118
  1. 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
  2. bap-veri

    No documentation

    BAP Instruction Semantics Verification Tool
    BAP Team
    0.2.5
    MIT
    Used by 0 other packages
    02 Jun 2020
  3. 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
  4. bap-x86

    No documentation

    BAP x86 lifter
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  5. bare
    Documentation
    BAP Rule Engine Library
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  6. bitvec
    Documentation
    Fixed-size bitvectors and modular arithmetic, based on Zarith
    BAP Team
    2.5.0
    MIT
    Used by 22 other packages
    14 Jul 2022
  7. bitvec-binprot
    Documentation
    Janestreet's Binprot serialization for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  8. bitvec-order
    Documentation
    Base style comparators and orders for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 8 other packages
    14 Jul 2022
  9. bitvec-sexp
    Documentation
    Sexp serializers for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  10. conf-binutils
    Documentation
    Checks that binutils are installed
    BAP Team
    0.3
    MIT
    Used by 3 other packages
    19 Jul 2020
  11. conf-ida

    No documentation

    Checks that IDA Pro is installed
    BAP Team
    0.3
    MIT
    Used by 2 other packages
    30 Jul 2020
  12. conf-radare2

    No documentation

    Checks that radare2 is installed
    BAP Team
    0.1
    MIT
    Used by 2 other packages
    06 Aug 2020
  13. graphlib
    Documentation
    Generic Graph library
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  14. monads
    Documentation
    A missing monad library
    BAP Team
    2.5.0
    MIT
    Used by 26 other packages
    14 Jul 2022
  15. ogre
    Documentation
    Open Generic REpresentation NoSQL Database
    BAP Team
    2.5.0
    MIT
    Used by 19 other packages
    14 Jul 2022
  16. ppx_bap

    No documentation

    The set of ppx rewriters for BAP
    Carnegie Mellon University BAP Team
    v0.14.0
    MIT
    Used by 63 other packages
    07 Nov 2020
  17. regular
    Documentation
    Library for regular data types
    BAP Team
    2.5.0
    MIT
    Used by 30 other packages
    14 Jul 2022
  18. text-tags
    Documentation
    A library for rich formatting using semantics tags
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
1 2 3