Repositories list

• GPA

  Public
  GPU based flow sensitive pointer analysis

  C++

  •0•0•0•0•Updated Jan 31, 2025Jan 31, 2025

• swan

  Public
  Swift Static Analysis Framework

  swiftsecuritystatic-analysis

  Scala

  •

  Apache License 2.0

  •16•161•3•3•Updated Jan 24, 2025Jan 24, 2025

• llvm-pointer-analysis

  Public
  Interprocedural flow sensitive pointer analysis based on LLVM

  LLVM

  •

  Other

  •13k•0•0•0•Updated Jan 16, 2025Jan 16, 2025

• Loomizer

  Public
  Rascal

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

• openj9

  Public
  Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with the Extensions for OpenJDK for OpenJ9 repo.

  Java

  •

  Other

  •736•1•0•0•Updated Jul 15, 2024Jul 15, 2024

• omr

  Public
  Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes

  C++

  •

  Other

  •397•1•0•0•Updated Jul 15, 2024Jul 15, 2024

• open-liberty

  Public
  Open Liberty is a highly composable, fast to start, dynamic application server runtime environment

  Eclipse Public License 2.0

  •604•0•1•1•Updated Jun 18, 2024Jun 18, 2024

• tomcat

  Public
  Apache Tomcat

  Java

  •

  Apache License 2.0

  •5.1k•0•0•1•Updated Jun 17, 2024Jun 17, 2024

• undertow

  Public
  High performance non-blocking webserver

  Java

  •

  Apache License 2.0

  •1k•0•0•0•Updated Jun 16, 2024Jun 16, 2024

• wildfly

  Public
  WildFly Application Server

  Java

  •

  Apache License 2.0

  •2.2k•0•0•0•Updated Jun 13, 2024Jun 13, 2024

• igreenminer

  Public
  This repo consists of the igreenminer execution scripts

  Python

  •1•0•0•0•Updated May 20, 2024May 20, 2024

• probe

  Public
  A tool for call graph comparisons

  Java

  •2•7•0•0•Updated Sep 27, 2023Sep 27, 2023

• swan-crypto

  Public
  This repo contains work for using SWAN for crypto API misuse

  Swift

  •

  Apache License 2.0

  •0•1•0•0•Updated Sep 20, 2022Sep 20, 2022

• averroes

  Public
  Java bytecode generator for sound and precise partial program analysis

  javalibrarystatic-analysis+ 3summaryplaceholderjava-bytecode-generator

  Java

  •

  Eclipse Public License 2.0

  •7•23•5•0•Updated Jun 4, 2021Jun 4, 2021

• heapchecker-benchmarks

  Public archive
  Java

  •0•0•0•0•Updated May 22, 2021May 22, 2021

• hotfixer

  Public
  A tool for hotfixing Crypto API misuses in Java applications

  0•0•0•0•Updated May 13, 2021May 13, 2021

• ssDiffTool

  Public
  Soot Semantic DiffTool

  Java

  •

  Eclipse Public License 2.0

  •0•0•0•0•Updated May 12, 2021May 12, 2021

• swan-vscode

  Public archive
  VSCode extension for SWAN.

  TypeScript

  •

  Eclipse Public License 2.0

  •0•0•0•4•Updated May 10, 2021May 10, 2021

• scalacg

  Public
  A set of lightweight call graph analyses for Scala programs

  Scala

  •

  Other

  •3•7•1•0•Updated Apr 22, 2021Apr 22, 2021

• CryptoAnalysis

  Public
  CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

  Java

  •

  Eclipse Public License 2.0

  •40•1•0•0•Updated Feb 5, 2021Feb 5, 2021

• soot

  Public
  Soot - A Java optimization framework

  Java

  •

  GNU Lesser General Public License v2.1

  •714•0•0•0•Updated Dec 7, 2020Dec 7, 2020

• cryptoapi-bench

  Public
  Java

  •

  MIT License

  •8•0•0•0•Updated Nov 25, 2020Nov 25, 2020

• openj9-omr

  Public
  Eclipse OpenJ9's clone of the Eclipse OMR (https://github.com/eclipse/omr) project. PRs should be opened against the upstream OMR project whenever possible.

  C++

  •

  Other

  •137•0•0•0•Updated Nov 23, 2020Nov 23, 2020

• openj9-utils

  Public
  Java

  •

  Other

  •29•0•0•0•Updated Nov 23, 2020Nov 23, 2020

• dot-public

  Public
  Collection of some type safety proofs of the DOT calculus

  HTML

  •1•1•0•0•Updated Oct 18, 2020Oct 18, 2020

• iosCoreLocationEnergy

  Public
  Benchmarks for iOS locations API

  Swift

  •0•0•0•0•Updated Oct 1, 2020Oct 1, 2020

• open-source-ios-apps

  Public
  📱 Collaborative List of Open-Source iOS Apps

  Swift

  •

  MIT License

  •5.5k•0•0•0•Updated May 4, 2020May 4, 2020

• TypeScript

  Public archive
  TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  TypeScript

  •

  Apache License 2.0

  •13k•0•0•0•Updated Sep 5, 2019Sep 5, 2019

• stringfuzz

  Public archive
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.

  Python

  •

  Other

  •9•1•0•0•Updated Aug 22, 2019Aug 22, 2019

• PLGradSchools

  Public archive
  32•0•0•0•Updated Jul 6, 2019Jul 6, 2019