mvisat

mvisat's Stars

• NationalSecurityAgency/ghidra

  Ghidra is a software reverse engineering (SRE) framework

  Language:Java50.4k1k4.8k5.8k

• semgrep/semgrep

  Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

  Language:OCaml10.3k1033k595

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.1k1795.5k1.5k

• s0md3v/AwesomeXSS

  Awesome XSS stuff

  Language:JavaScript4.7k23913767

• caiogondim/bullet-train.zsh

  :bullettrain_side: An oh-my-zsh shell theme based on the Powerline Vim plugin

  Language:Makefile2.8k44161383

• farisv/CJ2020-Final-CTF

  Cyber Jawara 2020 Final - Jeopardy CTF problemset

  Language:HTML33103