Discover @2over12 Open Source projects

@2over12

2over12

Stars
59
Global Rank 303,690 (Top 11 %)
Followers 15
Following 9
Registered over 8 years ago
Most used languages

OCaml
25.0 %

Python
12.5 %

Rust
12.5 %

C
12.5 %

Scala
6.3 %

Java
6.3 %

Xtend 6.3 %

Racket
6.3 %

C++
6.3 %

SCSS 6.3 %

rure

Reliable Unsafe Rust Engine. POC symbolic execution over unsafe rust.

sleigh-lsp-extension

simple_verif

ConstraintLang

Implements a symbolic language over a bare-bones version of BSL

Symbb

Symbolic execution assistance for fuzzing to discover vulnerabilities in deeper software logic.

crab

Continuous Redundant Analysis of Behavior

2over12.github.io

GenRule

An unsupervised machine learning system that given a series of results from a singular attack generates snort rules to block these attacks.

RedBot

BW AI to compete in SSCAIT with BWAPI

RateMyParkingJob

An social app where users rate others' parking jobs.

clp_operations

hybriduaf

Experimental UAF detection system utilizing hybrid execution.

scala-ghidra-extension-template

bap_ai

afl-vv

A version of afl with a more explicit bitmap

graphlib_linegraph

LBH

Like bees to honey: a honeyclient intended for the automated detection and storage of server and browser based attacks

ATC

Another text classifier... (Naive Bayes)

rlox

Rust implementation of a lox tree walking interpreter from http://craftinginterpreters.com/