@themaplelab

Maple

Maple is the Programming Languages research lab at the University of Alberta

  • Edmonton

Pinned repositories

  1. averroes

    Java bytecode generator for sound and precise partial program analysis

    Java 9 4

  2. swift

    Forked from apple/swift

    The Swift Programming Language

    C++ 2 3

  3. swan

    A program analysis framework for Swift

    C++

  4. boomerang

    Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.

    Java 9 2

  5. ideal

    IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis

    Java 4 4

  6. academic-writing

    Advice for students to improve their academic writing skills.

  • swift

    Forked from apple/swift

    The Swift Programming Language

    C++ 2 7,157 Apache-2.0 Updated Sep 13, 2018
  • 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++ 39 Updated Sep 5, 2018
  • CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

    Java 6 EPL-2.0 Updated Aug 29, 2018
  • openj9

    Forked from eclipse/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.

    Java 280 Updated Aug 15, 2018
  • A program analysis framework for Swift

    C++ Updated Jul 21, 2018
  • Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.

    Java 9 2 LGPL-2.1 Updated Jul 5, 2018
  • Java bytecode generator for sound and precise partial program analysis

    Java 9 4 EPL-1.0 Updated Apr 26, 2018
  • IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis

    Java 4 4 LGPL-2.1 Updated Mar 10, 2018
  • Java bytecode generator for sound and precise partial program analysis

    Java 1 EPL-1.0 Updated Mar 2, 2018
  • Advice for students to improve their academic writing skills.

    Updated Jan 31, 2018
  • Java 1 2 Updated Apr 5, 2017
  • A Python front-end for the Soot static analysis framework.

    Java 2 Updated Dec 14, 2016
  • Java Updated May 17, 2016
  • A set of lightweight call graph analysis for Scala program

    Scala 4 3 Updated Jan 12, 2016
  • A tool for call graph comparisons

    Java 3 2 Updated Aug 20, 2015
  • Pixy is a scanner static code analysis tools that scans PHP applications for security vulnerabilities.

    Java 1 28 Updated Dec 20, 2014