2over12/rure 2over12/rure

  • Stars
    star
    11
  • Rank 1,690,047 (Top 34 %)
  • Language
    Rust
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
2over12/rure
github

2over12

Reviews

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

Repository Details

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

More Repositories

1

sleigh-lsp-extension

Xtend
5
star
2

simple_verif

OCaml
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