i-mpossible Goto Github PK

5gc_apis

RESTful APIs of main Network Functions in the 3GPP 5G Core Network

5greasoner

api-fuzz

python restful api fuzz test

arsenal-base

baiduwp

PanDownload Web, built with CloudFlare Workers

bcc

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

build5gs

cloacked-pixel

LSB steganography and detection

collafl

implementing collafl

collaflplusplus

Implement CollAFL using LLVM LTO pass on afl++.

docker5gs

klee

KLEE Symbolic Execution Engine

learningbyreading

Learning by Reading pipeline of NLP and Entity Linking tools

llvm-pass-tutorial

A step-by-step tutorial for building an LLVM sample pass

lteinspector

Models, properties, and write-up of LTEInspector (NDSS'18)

mapecharts

echarts 地图

mfc-winpcap-sniffer

netsoft2020-tutorial4

no-os

Software drivers for systems without OS

oai-study

OpenAirInterface Code Study and Interpretation

openair-cn

pnp

Probabilistic Neural Programming

re

Generic library for real-time communications with async IO support

reveal.js

The HTML Presentation Framework

s2e

S2E: A platform for multi-path program analysis with selective symbolic execution.

socket-acceleration-with-ebpf

eBPF to achieve TCPIP bypass, TPROXY, etc.

spectrum-steganography

srg-llvm-pass-tutorial

Code used in a short tutorial on LLVM passes for the Software Reliablity Group (SRG) at Imperial

starbucks

Starbucks locations represented by echarts map

swami

Swami is a tool to automatically extract test oracles and generate executable tests from structured natural language specifications.