Skip to content


  • Arctic Code Vault Contributor

Popular repositories

  1. Forked from mchalupa/dg

    [LLVM Static Slicer] Dependence graph for programs. Generic implementation of dependence graphs with instantiation for LLVM that contains a static slicer for LLVM bitcode


  2. Forked from openssl/openssl

    TLS/SSL and crypto library


  3. Forked from kengiter/lrsan

    LRSan: Detecting Lacking-Recheck Bugs in OS Kernels


  4. Forked from umnsec/crix

    Detect missing check bugs in OS kernels


23 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

June - August 2020

ManSoSec has no activity yet for this period.

May 2020

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.