Repositories list

• sidis-toolbox

  Public
  A toolbox for performing both Statically-Informed Dynamic (SID) analysis and Dynamically-Informed Static (DIS) analysis

  HTML

  •

  MIT License

  •1•1•0•0•Updated Mar 1, 2024Mar 1, 2024

• jep

  Public
  Embed Python in Java

  C

  •

  Other

  •150•0•0•0•Updated Jan 11, 2024Jan 11, 2024

• L-SAP

  Public
  Scalable and Accurate Lock/Unlock Pairing for Linux Kernel

  Java

  •0•0•0•0•Updated Dec 20, 2023Dec 20, 2023

• Mockingbird

  Public
  Operation: To Fuzz A Mockingbird

  Java

  •0•3•0•0•Updated Dec 11, 2023Dec 11, 2023

• seL4-Atlas

  Public
  An seL4 kernel as an Atlas project

  C

  •0•0•0•0•Updated May 3, 2023May 3, 2023

• LoopModel

  Public
  Java

  •

  MIT License

  •0•0•0•0•Updated Aug 10, 2022Aug 10, 2022

• math-puzzles-app

  Public
  JavaScript

  •0•0•0•0•Updated Jun 30, 2021Jun 30, 2021

• math-puzzle-server

  Public
  JavaScript

  •0•0•0•0•Updated Jun 29, 2021Jun 29, 2021

• se-course

  Public
  A Course on Managing Complexity, Security, and Safety of Large Software

  Java

  •0•0•0•0•Updated May 9, 2020May 9, 2020

• chpg

  Public
  Compound Hierarchal Property Graph and Query Language

  CSS

  •

  MIT License

  •2•1•0•0•Updated Apr 26, 2020Apr 26, 2020

• graph-io-toolbox

  Public
  Import/Export Support for Commonly used Graph formats

  Java

  •

  MIT License

  •0•0•0•0•Updated Sep 23, 2019Sep 23, 2019

• sv-benchmarks-1

  Public
  Collection of Verification Tasks

  C

  •169•0•0•0•Updated Sep 3, 2019Sep 3, 2019

• chpg-binder

  Public
  Jupyter Notebook Binder Examples for CHPG

  Jupyter Notebook

  •

  MIT License

  •1•0•0•0•Updated Jul 16, 2019Jul 16, 2019

• Goto-Pattern-Recognition

  Public
  Everything related to GOTO pattern recognition

  MIT License

  •0•0•0•0•Updated Apr 11, 2019Apr 11, 2019

• com.kcsl.dominance

  Public
  The repository contains a set of test cases for dominance analysis

  C

  •0•0•0•0•Updated Oct 23, 2018Oct 23, 2018

• lsap-frontend

  Public
  Tool Support for Continuous Model-Based Verification of the Linux Kernel

  C

  •

  MIT License

  •0•0•0•0•Updated May 7, 2018May 7, 2018

• hw9

  Public
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Apr 10, 2018Apr 10, 2018

• SSCV

  Public
  Java

  •0•1•0•0•Updated Aug 28, 2017Aug 28, 2017

• java-source-benchmarks

  Public
  A collection of open source Java programs for benchmarking analyses

  Java

  •1•0•0•0•Updated Aug 3, 2017Aug 3, 2017

• DynamicDispatchResolver

  Public
  Converts resolvable dynamic dispatch callsites to static dispatches

  Java

  •

  MIT License

  •0•0•0•0•Updated Aug 1, 2017Aug 1, 2017

• AMFVT

  Public
  Android Malicious Flow Visualization Toolbox

  Java

  •

  MIT License

  •0•0•0•0•Updated Jul 21, 2017Jul 21, 2017

• immutability-benchmark

  Public
  A microbenchmark for assessing the accuracy of immutability analyses

  Java

  •

  MIT License

  •1•1•0•0•Updated Dec 14, 2016Dec 14, 2016

• JPATS

  Public
  A Java Points-to Analysis Test Suite

  Java

  •

  MIT License

  •1•1•0•0•Updated Jan 29, 2016Jan 29, 2016