lu-cs-sde / IntraJSCAM2021 Star 1 Code Issues Pull requests IntraJ is an application of the framework IntraCFG for the Java language. IEEESCAM2021 java static-analysis declarative control-flow-graph ieee cfg jastadd dataflow-analysis liveness lund-university nullpointerexception reference-attribute ieee-scam scam2021 Updated Feb 6, 2023 HTML
bingrao / Scala-jastAdd Star 1 Code Issues Pull requests scala compiler jflex beaver jastadd scala-language expression-analysis Updated Jul 12, 2017 Java
ilyasergey / Gradual-Ownership Star 1 Code Issues Pull requests Experimental implementation of Gradual Ownership Types for Java 1.4 java type-system gradual-typing ownership-types jastadd Updated Mar 12, 2012
jgaltidor / JSONAntlrAntMavenJastadd Star 0 Code Issues Pull requests Sample Eclipse project that uses both ANLTR4 and JastAdd for implementing source code program analysis java maven antlr jastadd Updated Jan 31, 2016 Java
IdrissRio / RS-SLE2024-Artifact Sponsor Star 0 Code Issues Pull requests Artifact related to the paper "Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis" java static-analysis compilers callgraph jastadd Updated Nov 27, 2024 Java
jgaltidor / VarJ Star 0 Code Issues Pull requests Java Generics Refactoring Tool for Inferring Wildcards refactoring java scala wildcards generics program-analysis jastadd attribute-grammars refactoring-java-generics inferring-wildcards Updated Jan 12, 2015 Java