Pinned Repositories
Qwiklabs-Checker
More quickly check Qwiklabs reports for grading.
go-analysis
Go analysis framework for the Rascal meta-programming language.
go2rascal
Parser for Go, generating ASTs in Rascal format
mysql-query-construction-analysis
Rascal code to support empirical studies into how MySQL queries are built in PHP code.
feature-evolution
Analysis code to explore the evolution of language features, especially dynamic and OO features, in PHP.
DCFlow
Repository for the DCFlow DSL for Control Flow Graph generation.
Python-MLAPI-expl
rascal-language-servers
An LSP server for Rascal which includes an easy-to-use LSP generator for languages implemented in Rascal, and an interactive terminal REPL.
ase-2015-var-resolution
This repository contains the variable resolution algorithm and experiments that are part of the PHP AiR ASE 2015 submission. We are currently working on improving some of the algorithms, so the numbers generated are slightly different from those reported in the paper.
saner-2015
Rascal source, and extracted data, for SANER 2015 experiments on the evolution of dynamic features in PHP code.
Programming Languages and Software Engineering Lab's Repositories
PLSE-Lab/go-analysis
Go analysis framework for the Rascal meta-programming language.
PLSE-Lab/go2rascal
Parser for Go, generating ASTs in Rascal format
PLSE-Lab/simple-language
Simple language for analysis, with a frontend.
PLSE-Lab/error-prone-lab
Starter code for lab using ErrorProne
PLSE-Lab/Qwiklabs-Checker
More quickly check Qwiklabs reports for grading.
PLSE-Lab/ase-2015-var-resolution
This repository contains the variable resolution algorithm and experiments that are part of the PHP AiR ASE 2015 submission. We are currently working on improving some of the algorithms, so the numbers generated are slightly different from those reported in the paper.
PLSE-Lab/rascal-git
PLSE-Lab/rascal-language-servers
An LSP server for Rascal which includes an easy-to-use LSP generator for languages implemented in Rascal, and an interactive terminal REPL.
PLSE-Lab/feature-evolution
Analysis code to explore the evolution of language features, especially dynamic and OO features, in PHP.
PLSE-Lab/Go-Concurrency
PLSE-Lab/Python-MLAPI-expl
PLSE-Lab/beaver-maven-plugin
A Maven plugin for the Beaver parser generator.
PLSE-Lab/saner-2015
Rascal source, and extracted data, for SANER 2015 experiments on the evolution of dynamic features in PHP code.
PLSE-Lab/mysql-query-construction-analysis
Rascal code to support empirical studies into how MySQL queries are built in PHP code.
PLSE-Lab/issta-2013
Experiments related to the ISSTA 2013 paper "An Empirical Study of PHP Feature Usage: A Static Analysis Perspective"
PLSE-Lab/rascal-db-resources
Database-related resources for the Rascal programming language.
PLSE-Lab/DCFlow-Pico-CFG
DCFlow definition of the CFG for the Pico language.
PLSE-Lab/DCFlow
Repository for the DCFlow DSL for Control Flow Graph generation.
PLSE-Lab/wasdett-2013
Experiments related to the WASDeTT 2013 paper "Enabling PHP Software Engineering Research in Rascal"
PLSE-Lab/ase-2014
Experiments related to the ASE 2014 paper "Static, Lightweight Includes Resolution for PHP"
PLSE-Lab/csmr-wcre-2014
Experiments related to the CSMR/WCRE 2014 paper "PHP AiR: Analyzing PHP Systems with Rascal"