All repositories Change the repository type filter All Repositories list JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis
• • 20• 308• 2• 1• Updated Jul 12, 2024 Jul 12, 2024 dk.brics.automaton - finite-state automata and regular expressions for Java
• • 75• 207• 10• 6• Updated Sep 20, 2023 Sep 20, 2023 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.
• • 3k• 0• 0• 0• Updated Aug 9, 2023 Aug 9, 2023 • • 0• 0• 0• 3• Updated May 1, 2023 May 1, 2023 • • 2• 18• 1• 0• Updated Mar 20, 2023 Mar 20, 2023 Static program analysis for TIP
• 123• 276• 3• 3• Updated Dec 25, 2022 Dec 25, 2022 Breaking change detector for npm
• 4• 19• 0• 27• Updated Dec 10, 2022 Dec 10, 2022 • 0• 0• 0• 27• Updated Dec 10, 2022 Dec 10, 2022 • 1• 3• 0• 20• Updated Oct 5, 2022 Oct 5, 2022 Inspecting npm packages made easy
• 0• 2• 0• 0• Updated Sep 24, 2022 Sep 24, 2022 0• 0• 0• 0• Updated Aug 7, 2022 Aug 7, 2022 • 6• 13• 0• 3• Updated Feb 11, 2022 Feb 11, 2022 JSFIX dependency scanner
• 0• 1• 0• 0• Updated Jan 3, 2022 Jan 3, 2022 • • 1• 2• 0• 0• Updated Dec 12, 2021 Dec 12, 2021 Dynamic analysis framework for JavaScript
• • 117• 1• 3• 0• Updated May 12, 2021 May 12, 2021 • • 4• 2• 6• 0• Updated Mar 15, 2021 Mar 15, 2021 • 1• 6• 0• 0• Updated Nov 16, 2020 Nov 16, 2020 Type Analyzer for JavaScript
• • 39• 191• 7• 1• Updated Jul 18, 2020 Jul 18, 2020 • • 4• 1• 8• 0• Updated Apr 10, 2020 Apr 10, 2020 MONA - a decision procedure for monadic second-order logic on finite strings and trees
• GNU General Public License v2.0
• 13• 46• 2• 0• Updated Mar 3, 2020 Mar 3, 2020 • 2• 1• 0• 0• Updated Jul 19, 2019 Jul 19, 2019 • 1• 1• 0• 0• Updated Jul 8, 2019 Jul 8, 2019 • • 1• 1• 0• 0• Updated Jul 8, 2019 Jul 8, 2019 Practical AJAX Race Detection for JavaScript Web Applications
• • 1• 4• 0• 0• Updated Sep 23, 2018 Sep 23, 2018 automated testing for JavaScript
• GNU General Public License v3.0
• 10• 36• 34• 0• Updated Feb 1, 2018 Feb 1, 2018 • 2• 13• 1• 0• Updated May 17, 2017 May 17, 2017 Practical Initialization Race Detection for JavaScript Web Applications
• 0• 2• 0• 0• Updated Apr 10, 2017 Apr 10, 2017 Repairing Event Race Errors by Controlling Nondeterminism
• 0• 0• 0• 0• Updated Feb 20, 2017 Feb 20, 2017 JWIG - a Java-based web application framework using XACT for type-safe XML/XHTML transformations
• • 1• 5• 0• 0• Updated Jan 27, 2017 Jan 27, 2017 • 0• 0• 0• 0• Updated Jul 7, 2016 Jul 7, 2016
You can’t perform that action at this time.