cs-au-dk/ReaGenT

Stars
3
Rank 3,963,521 (Top 79 %)
Language
JavaScript
Created almost 6 years ago
Updated about 2 years ago

cs-au-dk/ReaGenT

cs-au-dk

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

jelly

JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

TIP

Static program analysis for TIP

dk.brics.automaton

dk.brics.automaton - finite-state automata and regular expressions for Java

TAJS

Type Analyzer for JavaScript

MONA

MONA - a decision procedure for monadic second-order logic on finite strings and trees

Artemis

automated testing for JavaScript

NoRegrets

Breaking change detector for npm

goat

thor

taser

streamliner

JSRefactor

refactoring for JavaScript

JWIG

JWIG - a Java-based web application framework using XACT for type-safe XML/XHTML transformations

ajaxracer

Practical AJAX Race Detection for JavaScript Web Applications

jsfix-package-inspector

Inspecting npm packages made easy

ISSTA-2021-Paper-156

jalangilogger

XSLV

static validation of XSL Transformations

initracer

Practical Initialization Race Detection for JavaScript Web Applications

jsfix-dependency-scanner

JSFIX dependency scanner

tajs_vr_experiments

ts-spec-reader

tajs_vr

TAJS-Inspector