Some software tools:
- Jelly
- call graph analyzer for JavaScript/TypeScript
- TAJS
- type analysis for JavaScript
- EventRaceCommander - repairing event race errors in JavaScript web applications by controlling nondeterminism
- R4, InitRacer, AjaxRacer and NodeRacer - event race detection for JavaScript
- NoRegrets - detecting breaking changes in JavaScript libraries
- TASER - generating taint specifications for JavaScript libraries
- Artemis - automated testing for JavaScript
- Goodenough - ensuring absense of type errors in Dart programs using hybrid static/dynamic analysis
- Thor - testing Android apps in "bad weather" conditions
- TSCheck, TSInfer, and TSEvolve - checking, inferring, and evolving TypeScript declaration files for JavaScript libraries
- JSRefactor - refactoring for JavaScript
- MONA
- an automaton-based decision procedure for monadic second-order logics
- PALE
- an application of MONA for program verification
- JWIG
- a Java-based high-level programming language for construction of interactive Web services
- Xact
- a system for making type-safe XML transformations in Java
- Java String Analyzer
- a tool for analyzing string expressions in Java
- Zipper and Scaler - context-sensitive points-to analysis for Java
- WARlord
- static HTML/XML validity analysis and client-state manipulation analysis for Java Servlets, JSP, and Struts
- dk.brics.automaton
- an automaton/regexp library for Java
- dk.brics.grammar
- a parser and ambiguity analyzer for context-free grammars
- dk.brics.schematools
- tools for manipulation and validation of XML graphs and schemas written in Restricted RELAX NG or XML Schema
- DSD2
- a simple but powerful schema language for XML
- PowerForms
- a declarative language for HTML form field validation
- XSugar
- managing dual syntax for XML languages
- XSLV - static validation of XSL Transformations (XSLT)