Giters
Aarhus University (cs-au-dk)

Aarhus University

cs-au-dk

Geek Repo

Github PK Tool:Github PK Tool

Aarhus University's repositories

jelly

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

Language:TypeScriptLicense:MITStargazers:292Issues:5Issues:4

TIP

Static program analysis for TIP

Language:ScalaStargazers:270Issues:24Issues:13

dk.brics.automaton

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

Language:JavaLicense:NOASSERTIONStargazers:202Issues:24Issues:32

TAJS

Type Analyzer for JavaScript

Language:JavaLicense:Apache-2.0Stargazers:187Issues:18Issues:19

MONA

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

Language:CLicense:GPL-2.0Stargazers:44Issues:6Issues:5

Artemis

automated testing for JavaScript

Language:C++License:GPL-3.0Stargazers:36Issues:16Issues:132

NoRegrets

Breaking change detector for npm

Language:JavaScriptStargazers:19Issues:4Issues:0

goat

Language:GoLicense:Apache-2.0Stargazers:17Issues:4Issues:2

thor

Language:JavaStargazers:13Issues:6Issues:2

taser

Language:TypeScriptStargazers:11Issues:5Issues:1

JWIG

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

Language:JavaLicense:NOASSERTIONStargazers:5Issues:3Issues:0

ajaxracer

Practical AJAX Race Detection for JavaScript Web Applications

Language:JavaScriptLicense:Apache-2.0Stargazers:4Issues:6Issues:0

streamliner

Language:JavaStargazers:4Issues:5Issues:1

ReaGenT

Language:JavaScriptStargazers:3Issues:11Issues:0

initracer

Practical Initialization Race Detection for JavaScript Web Applications

Language:JavaScriptStargazers:2Issues:5Issues:0

ISSTA-2021-Paper-156

Language:TypeScriptLicense:NOASSERTIONStargazers:2Issues:6Issues:0

jalangilogger

Language:JavaLicense:NOASSERTIONStargazers:2Issues:13Issues:8

jsfix-package-inspector

Inspecting npm packages made easy

Language:JavaScriptStargazers:2Issues:3Issues:0

jalangi2

Dynamic analysis framework for JavaScript

Language:JavaScriptLicense:Apache-2.0Stargazers:1Issues:14Issues:3

jsfix-dependency-scanner

JSFIX dependency scanner

Language:JavaScriptStargazers:1Issues:4Issues:0

TAJS-Inspector

Language:TypeScriptLicense:Apache-2.0Stargazers:1Issues:13Issues:9

tajs_vr

Language:JavaLicense:Apache-2.0Stargazers:1Issues:4Issues:0

tajs_vr_experiments

Language:JavaScriptStargazers:1Issues:5Issues:0

ts-spec-reader

Language:JavaStargazers:1Issues:14Issues:0

CSrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

EventRaceCommander

Repairing Event Race Errors by Controlling Nondeterminism

Language:JavaScriptStargazers:0Issues:4Issues:0

ICSE-2021-Paper-105

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:5Issues:0

jsfix-blog

Stargazers:0Issues:4Issues:0

MoTyR

Language:JavaScriptStargazers:0Issues:4Issues:0

protocolfiller

Language:JavaStargazers:0Issues:4Issues:0