2over12/simple_verif 2over12/simple_verif

  • Stars
    star
    5
  • Rank 2,854,905 (Top 57 %)
  • Language
    OCaml
  • License
    GNU General Publi...
  • Created about 1 year ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
2over12/simple_verif
github

2over12

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

rure

Reliable Unsafe Rust Engine. POC symbolic execution over unsafe rust.
Rust
11
star
2

sleigh-lsp-extension

Xtend
5
star
3

ConstraintLang

Implements a symbolic language over a bare-bones version of BSL
Racket
4
star
4

Symbb

Symbolic execution assistance for fuzzing to discover vulnerabilities in deeper software logic.
Python
3
star
5

crab

Continuous Redundant Analysis of Behavior
C
2
star
6

2over12.github.io

My pages.
SCSS
2
star
7

GenRule

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

RedBot

BW AI to compete in SSCAIT with BWAPI
C++
1
star
9

RateMyParkingJob

An social app where users rate others' parking jobs.
Java
1
star
10

clp_operations

OCaml
1
star
11

hybriduaf

Experimental UAF detection system utilizing hybrid execution.
1
star
12

scala-ghidra-extension-template

Scala
1
star
13

bap_ai

OCaml
1
star
14

afl-vv

A version of afl with a more explicit bitmap
C
1
star
15

graphlib_linegraph

OCaml
1
star
16

LBH

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

ATC

Another text classifier... (Naive Bayes)
Python
1
star
18

rlox

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