Popular repositories Loading

1. hayha hayha Public

   Verifying CloudFormation deployments for intra-update sniping vulnerabilities

   Python 4 2

2. Stringlate Stringlate Public

   Forked from LonamiWebs/Stringlate

   Android application to help in strings.xml translation

   Java 1 1

3. opam opam Public

   Forked from ocaml/opam

   opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

   OCaml 1

4. sample sample Public

   sample project for testing offlate

   1

5. vsfi vsfi Public

   ocaml prototype for verifying SFI

   C

6. bincat bincat Public

   Forked from airbus-seclab/bincat

   Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction.

   OCaml