cs-au-dk/MONA

Stars
46
Rank 613,923 (Top 13 %)
Language
C
License
GNU General Publi...
Created over 11 years ago
Updated almost 5 years ago

cs-au-dk/MONA

cs-au-dk

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

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

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

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

ReaGenT

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