purs3lab Goto Github PK

.github

Description

3c-actions

3clsp

The LSP interaction tool for 3C

aflnet

AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)

aflplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

alpha-omega

Protect society by improving the security of open source software through direct maintainer engagement and expert analysis.

apifuzzerr

Fuzzing for improper API error handle detection

apt-scraper-utils

Utils to get debian packages

arbitrar

User Guided API Misuse Detection

ardupilot

ArduPlane, ArduCopter, ArduRover, ArduSub source

argus

argus_artifacts

Artifacts for the ARGUS paper

argus_website

Website for our Usenix'23 paper - ARGUS: A Framework for Staged Static Taint Analysis of GitHub Workflows and Actions

asciigraph

Go package to make lightweight ASCII line graph ╭┈╯ in command line apps with no other dependencies.

binbench-llvm

Modified LLVM for BinBench

bugsinpy

BugsInPy: Benchmarking Bugs in Python Projects

checkedc-llvm-project

This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.

cis547vm

clang-tutor

A collection of out-of-tree Clang plugins for teaching and learning

codeql

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

codeql_training

Code QL Training

compsac19

Temporary repository for double-blind review process of compsac19

cve-search

cve-search - a tool to perform local searches for known vulnerabilities

cvefixes

CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software

ece264

Advanced C Programming

ee469

Operating Systems Engineering.

ee469_examples

All examples related to ee469

egalito

Self-hosting binary instrumentation framework for security research

filter-sarif

GitHub Action for filtering Code Scanning alerts by path and id

fuzzerr_aflplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!