jasonpap Goto Github PK

buffer-overflows

An introduction to buffer overflow vulnerabilities exploitation.

canopy

doubly-linked-list-api

A doubly linked list C API that can accept any Data type that provides a set of requested methods

graphproject

Impementation of SIGMOD 2014 programming contest as university project.

hawaian-hacker

Faclilitate the creation of a dictionary for password dictionary.

jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

jpf-symbc

Symbolic PathFinder

kd_geraf

High Dimensional Approximate Nearest Neighbor

klee

KLEE Symbolic Execution Engine

klee.github.io

Website for the KLEE project: https://klee.github.io/

longestcommonsubsequence

A C# generic class implementation for finding the longest common subsequence of two lists.

parallel-gauss-jordan

A parallel impementation of the Gauss-Jordan method using MPI with C++.

parallel-sor

A parallel implementation of the Successive over-relaxation (SOR) method using with MPI using C.

pyloglog

A set of scripts to help you see more information about failed log-in attempts made over ssh.

rainbow-table-generator

A fast in-memory rainbow table generator for the Blake hash function.

readwritelock

A readers-prefered Read-Write lock written in C using POSIX semaphores.

reused-bitcoin-numbers

How to find reused random numbers from the Bitcoin blockchain

simplegoodturing

Python implementation of Gale and Sampson's (1995/2001) "Simple Good Turing" algorithm.

world-news-articles-matching

Calculates the similarity of world news articles and aggregates them into topics.