hanseltu Goto Github PK

kerneltestingpapers

Recent Linux Kernel Testing Papers

klee

KLEE Symbolic Execution Engine

klee-n-aeg-final

lad-book

Linux Archaeological Discoveries, start from 0.11

learn-algorithms

Implementations of different algorithms using C.Maybe add Python or Java later.

leetcode-records

Records in solving Leetcode problems.

libfuzzer-workshop

Repository for materials of "Modern fuzzing of C/C++ Projects" workshop.

linux-0.11

the source code of linux-0.11 for study linux kernel

linux-kernel-final

Linux内核分析课程大作业

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

long-driller

machine-learning-coursera

exercises and other useful material in machine learning course in Andrew.Ng

nasac2019-race-detection-competition

source code of nasac2019 race detection competition

prog-fuzz-dup

dup repository of prog-fuzz

pycoolc

:snake: :cool: A Compiler for the COOL Programming Language written entirely in Python 3.

python-debian

Python modules to work with Debian-related data formats. NB. This is just an ancient fork, nothing official. See linky ->

python-scraping

Code samples from the book Web Scraping with Python http://shop.oreilly.com/product/0636920034391.do

share-with-three-machine

这是一个共享的文件夹，包括日常的工作所要用到的资料

smtibea

A hybrid multiobjective optimization algorithm that combines IBEA with SMT solving

socket

Linux socket codes.

softwaretest

software test frameworks in C/C++

solo-blog

✍️ 记录改变生活 - Stay hungry, stay foolish!

spiderbook

<<python爬虫开发与项目实战>>书籍配套源码和说明

static-analysis-tools

Static analysis tools in C/C++

test-projects

不同语言编程练习

trace-work

Some strace work items.

universalmutator

Regexp based tool for mutating generic source code across numerous languages

write-a-c-interpreter

A simple c interpreter supported x86 32bit and 64bit.

z3-solver

constraint solver for kernel SE