Repositories list

• jelly

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

  javascripttypescriptvulnerability-detection+ 2call-graph-analysislibrary-usage

  TypeScript

  •

  MIT License

  •24•323•2•1•Updated Sep 17, 2024Sep 17, 2024

• dk.brics.automaton

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

  Java

  •

  Other

  •77•211•10•6•Updated Jul 29, 2024Jul 29, 2024

• CSrankings

  Public
  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.

  Python

  •

  Other

  •3.2k•0•0•0•Updated Aug 9, 2023Aug 9, 2023

• ICSE-2021-Paper-105

  Public
  TypeScript

  •

  Other

  •0•0•0•3•Updated May 1, 2023May 1, 2023

• goat

  Public
  Go

  •

  Apache License 2.0

  •3•20•1•0•Updated Mar 20, 2023Mar 20, 2023

• TIP

  Public
  Static program analysis for TIP

  static-code-analysisstatic-analyzerprogram-analysis+ 2pointer-analysispoints-to-analysis

  Scala

  •125•281•3•3•Updated Dec 25, 2022Dec 25, 2022

• NoRegrets

  Public
  Breaking change detector for npm

  JavaScript

  •4•20•0•27•Updated Dec 10, 2022Dec 10, 2022

• MoTyR

  Public
  JavaScript

  •0•0•0•27•Updated Dec 10, 2022Dec 10, 2022

• ReaGenT

  Public
  JavaScript

  •1•3•0•20•Updated Oct 5, 2022Oct 5, 2022

• jsfix-package-inspector

  Public
  Inspecting npm packages made easy

  JavaScript

  •0•2•0•0•Updated Sep 24, 2022Sep 24, 2022

• jsfix-blog

  Public
  0•0•0•0•Updated Aug 7, 2022Aug 7, 2022

• taser

  Public
  TypeScript

  •6•12•0•3•Updated Feb 11, 2022Feb 11, 2022

• jsfix-dependency-scanner

  Public
  JSFIX dependency scanner

  JavaScript

  •0•1•0•0•Updated Jan 3, 2022Jan 3, 2022

• ISSTA-2021-Paper-156

  Public
  TypeScript

  •

  Other

  •1•2•0•0•Updated Dec 12, 2021Dec 12, 2021

• jalangi2

  Public
  Dynamic analysis framework for JavaScript

  JavaScript

  •

  Apache License 2.0

  •119•1•3•0•Updated May 12, 2021May 12, 2021

• jalangilogger

  Public
  Java

  •

  Other

  •4•2•6•0•Updated Mar 15, 2021Mar 15, 2021

• streamliner

  Public
  Java

  •1•6•0•0•Updated Nov 16, 2020Nov 16, 2020

• TAJS

  Public
  Type Analyzer for JavaScript

  static-code-analysisstatic-analyzerprogram-analysis+ 2type-checkingjavascript

  Java

  •

  Apache License 2.0

  •40•194•7•1•Updated Jul 18, 2020Jul 18, 2020

• TAJS-Inspector

  Public
  TypeScript

  •

  Apache License 2.0

  •4•1•8•0•Updated Apr 10, 2020Apr 10, 2020

• MONA

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

  C

  •

  GNU General Public License v2.0

  •13•47•2•0•Updated Mar 3, 2020Mar 3, 2020

• ts-spec-reader

  Public
  Java

  •2•1•0•0•Updated Jul 19, 2019Jul 19, 2019

• tajs_vr_experiments

  Public
  JavaScript

  •1•1•0•0•Updated Jul 8, 2019Jul 8, 2019

• tajs_vr

  Public
  Java

  •

  Apache License 2.0

  •0•1•0•0•Updated Jul 8, 2019Jul 8, 2019

• ajaxracer

  Public
  Practical AJAX Race Detection for JavaScript Web Applications

  JavaScript

  •

  Apache License 2.0

  •1•4•0•0•Updated Sep 23, 2018Sep 23, 2018

• Artemis

  Public
  automated testing for JavaScript

  C++

  •

  GNU General Public License v3.0

  •10•36•34•0•Updated Feb 1, 2018Feb 1, 2018

• thor

  Public
  Java

  •2•14•1•0•Updated May 17, 2017May 17, 2017

• initracer

  Public
  Practical Initialization Race Detection for JavaScript Web Applications

  javascriptrace-detection

  JavaScript

  •0•2•0•0•Updated Apr 10, 2017Apr 10, 2017

• EventRaceCommander

  Public
  Repairing Event Race Errors by Controlling Nondeterminism

  JavaScript

  •0•0•0•0•Updated Feb 20, 2017Feb 20, 2017

• JWIG

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

  Java

  •

  Other

  •1•5•0•0•Updated Jan 27, 2017Jan 27, 2017

• protocolfiller

  Public
  Java

  •0•0•0•0•Updated Jul 7, 2016Jul 7, 2016