ahmadzuhd Goto Github PK

6005.multipart

Multipart project for 6.005 MIT OCW. All files in the package Multipart were coded by me.

ahmadzuhd.github.io

applied-methods-phd

Repo for Yale Applied Empirical Methods PHD Course

awesome-courses

List of awesome university courses for learning Computer Science!

corpora

A collection of small corpuses of interesting data for the creation of bots and similar stuff.

cs-video-courses

List of Computer Science courses with video lectures.

exploitable

The 'exploitable' GDB plugin. I don't work at CERT anymore, but here is the original homepage: http://www.cert.org/vuls/discovery/triage.html

graphalgorithms

graphautomata

a library for manipulating and learning graph automata

jackson-rce-via-spel

An example project that exploits the default typing issue in Jackson-databind via Spring application contexts and expressions

javascript-algorithms

📝 Algorithms and data structures implemented in JavaScript with explanations and links to further readings

jbse

A symbolic Java virtual machine for program analysis, verification and test generation

jcute

Java Concolic Unit Testing Engine

mouatez.github.io

simple-java-maven-app

For an entry-level tutorial on how to use Jenkins to build a simple Java project with Maven.

spring-data-examples

Spring Data Example Projects

subdue

The Subdue graph miner discovers highly-compressing patterns in an input graph.

tip

Static program analysis for TIP

vdiscover

A tool to predict vulnerability discovery of binary only programs

vuldeepecker

VulDeePecker: A Deep Learning-Based System for Vulnerability Detection

vulseeker

VulSeeker: A Semantic Learning Based Vulnerability Seeker For Cross-Platform Binary