akat1

Mateusz Kocielski's starred repositories

public-pentesting-reports

A list of public penetration test reports published by several consulting firms and academic security groups.

Language:HTML8251 495 16

maltrail

Malicious traffic detection system

Language:PythonMIT6064 234 409

clmystery

A command-line murder mystery

NOASSERTION5497 75 12

syzkaller

syzkaller is an unsupervised coverage-guided kernel fuzzer

Language:GoApache-2.05234 199 952

androguard

Reverse engineering and pentesting for Android applications

Language:PythonApache-2.05113 241 610

dafny

Dafny is a verification-aware programming language

Language:C#NOASSERTION2853 80 2654

scalable-c

Scalable C - The Book

Language:Smarty346 48 3

choronzon

An evolutionary knowledge-based fuzzer

Language:PythonNOASSERTION268 23 1

binjascripts

Scripts for Binary Ninja

Language:PythonMIT248 58 1

buildrump.sh

Utilities for building rump kernels

Language:CNOASSERTION116 33 64

vx32

Portable, efficient, safe execution of untrusted x86 code

Language:C113 13 5

adsuck

A small DNS server, used primarily for blocking malicious sites and ads.

Language:C36 11 4

rumpctrl

Control and diagnostic applications for rump kernels

Language:ShellNOASSERTION36 14 17

17eyes

PHP static analyzer written in Haskell

Language:PHPNOASSERTION18 3 34

impala

Homemade UNIX-like operating system

Language:CNOASSERTION13 30

BurpExifToolScanner

Burp extension, reads metadata using ExifTool

Language:Java7 3 5

fuzzrump.sh

Utilities for building and fuzzing rump kernels

Language:CNOASSERTION5 5 7

drozer-modules

Language:Python2 30