Pinned Repositories
academic-writing
Advice for students to improve their academic writing skills.
averroes
Java bytecode generator for sound and precise partial program analysis
hotfixer
A tool for hotfixing Crypto API misuses in Java applications
omr
Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes
oopixy
Pixy is a scanner static code analysis tools that scans PHP applications for security vulnerabilities.
openj9
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.
probe
A tool for call graph comparisons
scalacg
A set of lightweight call graph analyses for Scala programs
swan
Swift Static Analysis Framework
swift
The Swift Programming Language
Maple's Repositories
themaplelab/swan
Swift Static Analysis Framework
themaplelab/averroes
Java bytecode generator for sound and precise partial program analysis
themaplelab/probe
A tool for call graph comparisons
themaplelab/scalacg
A set of lightweight call graph analyses for Scala programs
themaplelab/swift
The Swift Programming Language
themaplelab/CryptoAnalysis
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
themaplelab/dot-public
Collection of some type safety proofs of the DOT calculus
themaplelab/omr
Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes
themaplelab/openj9
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.
themaplelab/SonarTS
Static code analyzer for TypeScript
themaplelab/stringfuzz
Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
themaplelab/swan-crypto
This repo contains work for using SWAN for crypto API misuse
themaplelab/hotfixer
A tool for hotfixing Crypto API misuses in Java applications
themaplelab/cryptoapi-bench
themaplelab/heapchecker-benchmarks
themaplelab/igreenminer
This repo consists of the igreenminer execution scripts
themaplelab/iosCoreLocationEnergy
Benchmarks for iOS locations API
themaplelab/llvm-pointer-analysis
Interprocedural flow sensitive pointer analysis based on LLVM
themaplelab/open-liberty
Open Liberty is a highly composable, fast to start, dynamic application server runtime environment
themaplelab/open-source-ios-apps
:iphone: Collaborative List of Open-Source iOS Apps
themaplelab/openj9-omr
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.
themaplelab/openj9-utils
themaplelab/PLGradSchools
themaplelab/soot
Soot - A Java optimization framework
themaplelab/ssDiffTool
Soot Semantic DiffTool
themaplelab/swan-vscode
VSCode extension for SWAN.
themaplelab/tomcat
Apache Tomcat
themaplelab/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
themaplelab/undertow
High performance non-blocking webserver
themaplelab/wildfly
WildFly Application Server