Repositories list

• crown

  Public
  Ownership analysis that helps translating C to Rust

  Rust

  •5•0•0•0•Updated Jan 1, 2025Jan 1, 2025

• ee469

  Public
  Operating Systems Engineering.

  Pascal

  •

  MIT License

  •4•1•0•0•Updated Dec 31, 2024Dec 31, 2024

• vanir

  Public
  Vanir is a source code-based static analysis tool that automatically identifies the list of missing security patches in the target system. By default, Vanir pulls up-to-date CVEs from Open Source Vulnerabilities (OSV) together with their corresponding signatures so that users can transparently scan missing patches for an up-to-date list of CVEs.

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •20•0•0•0•Updated Dec 24, 2024Dec 24, 2024

• nostdbuild

  Public
  Automatically compling Rust crate for Nostd.

  Rust

  •1•0•0•0•Updated Dec 15, 2024Dec 15, 2024

• LLMs4GitHubWorkflows

  Public
  Python

  •

  BSD 2-Clause "Simplified" License

  •0•3•0•0•Updated Dec 2, 2024Dec 2, 2024

• Argus_website

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

  HTML

  •

  Apache License 2.0

  •0•2•0•0•Updated Nov 25, 2024Nov 25, 2024

• hss

  Public
  Feature-rich and easy-to-use Jekyll template for the websites of academic courses

  SCSS

  •

  MIT License

  •199•0•0•0•Updated Nov 17, 2024Nov 17, 2024

• underTheHoodOfExecutables

  Public
  A comprehensive guide that explains how programs transform from source code to executables. Deep dive into ELF format, linking processes, and binary optimization techniques. Perfect for systems programmers, C developers, and anyone interested in low-level programming concepts.

  HTML

  •

  MIT License

  •28•0•0•0•Updated Nov 7, 2024Nov 7, 2024

• ardupilot

  Public
  ArduPlane, ArduCopter, ArduRover, ArduSub source

  C++

  •

  GNU General Public License v3.0

  •18k•0•0•0•Updated Oct 18, 2024Oct 18, 2024

• purs3lab.github.io

  Public
  Purdue Systems and Software Security Lab

  SCSS

  •1.2k•0•0•0•Updated Sep 25, 2024Sep 25, 2024

• cargo

  Public
  The Rust package manager

  Rust

  •

  Apache License 2.0

  •2.5k•0•0•0•Updated Sep 25, 2024Sep 25, 2024

• Argus

  Public
  Python

  •9•41•0•0•Updated Jul 11, 2024Jul 11, 2024

• scan2

  Public
  Rust

  •0•0•0•0•Updated Jun 24, 2024Jun 24, 2024

• POSSE-secure-workflows

  Public
  Static analysis on GitHub Actions workflows of popular repositories

  Python

  •0•1•0•0•Updated May 8, 2024May 8, 2024

• rustwide

  Public
  Execute your code on the Rust ecosystem.

  Rust

  •

  Apache License 2.0

  •42•0•0•0•Updated Apr 14, 2024Apr 14, 2024

• binbench-llvm

  Public
  Modified LLVM for BinBench

  12k•0•0•0•Updated Mar 15, 2024Mar 15, 2024

• ee469_examples

  Public
  All examples related to ee469

  C

  •0•2•0•0•Updated Feb 22, 2024Feb 22, 2024

• codeql

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

  CodeQL

  •

  MIT License

  •1.6k•0•0•0•Updated Jan 31, 2024Jan 31, 2024

• linux-playground

  Public
  Linux kernel playground

  Shell

  •4•4•0•1•Updated Jan 27, 2024Jan 27, 2024

• alpha-omega

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

  Open Policy Agent

  •

  Apache License 2.0

  •52•0•0•0•Updated Jan 21, 2024Jan 21, 2024

• FuzzERR_AFLplusplus

  Public
  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!

  C

  •

  Apache License 2.0

  •1.1k•1•0•0•Updated Dec 11, 2023Dec 11, 2023

• HandlERR

  Public
  This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, which aims to enforce spatial memory safety. This repository is a fork of Checked C's.

  78•2•0•0•Updated Dec 10, 2023Dec 10, 2023

• apt-scraper-utils

  Public
  Utils to get debian packages

  Python

  •4•1•0•1•Updated Nov 11, 2023Nov 11, 2023

• reading-group

  Public
  A weekly reading group on security and privacy.

  HTML

  •0•0•0•0•Updated Sep 7, 2023Sep 7, 2023

• .github

  Public
  Description

  0•0•0•0•Updated Aug 9, 2023Aug 9, 2023

• Argus_artifacts

  Public
  Artifacts for the ARGUS paper

  0•1•0•0•Updated Jun 21, 2023Jun 21, 2023

• qrates

  Public
  A framework for large scale analysis of the Rust ecosystem.

  Jupyter Notebook

  •

  MIT License

  •9•0•0•0•Updated May 13, 2023May 13, 2023

• ece264

  Public
  Advanced C Programming

  Pascal

  •

  MIT License

  •4•0•0•0•Updated Apr 27, 2023Apr 27, 2023

• filter-sarif

  Public
  GitHub Action for filtering Code Scanning alerts by path and id

  Java

  •

  Apache License 2.0

  •8•0•0•0•Updated Apr 27, 2023Apr 27, 2023

• compsac19

  Public
  Temporary repository for double-blind review process of compsac19

  C

  •2•0•0•0•Updated Apr 2, 2023Apr 2, 2023