Lists (6)
Stars
Free monospaced font with programming ligatures
A curated list of awesome CodeQL resources.
🤫 Noiseless Browsing – Content Blocker for Safari
Dark Reader Chrome and Firefox extension
List of known problematic browser extensions
demonstration of how extensions interact with input fields and can send data over to a remote server.
Demo for the Seminar "Security Analysis for Browser Extensions" WiSe 24/25 at LMU
Automate the process of detecting similarities between code for a collection of computer science assignments.
Add-on / web app to view the source code of Chrome / Firefox / Opera 15 extensions and zip files.
Artifacts of the paper "Arcanum: Detecting and Evaluating the Privacy Risks of Browser Extensions on Web Pages and Web Content" in USENIX Security Symposium 2024
Chrome Extensions Samples
🦜🔗 Build context-aware reasoning applications
HaskGammon is a backgammon game implemented in Haskell, using the Gloss library for graphical rendering. This project showcases a simple, yet functional version of the classic board game, complete …
ODGen is a JavaScript Static Analysis tool to detect multiple types of vulnerabilities in Node.js packages.
Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale
JavaScript Transformation Techniques Detection
FlowDroid Static Data Flow Tracker
Collection of community-driven CodeQL query, library and extension packs
Differential Static Analysis for Detecting Malicious Updates to Open Source Packages