KTH-LangSec

KTH-LangSec's repositories

A collection of Server-Side Prototype Pollution gadgets and exploits

Language:JavaScriptMIT11600

The source for the website of the ShiftLeft project

MIT000

000

Language:JavaScriptMIT000

Language:TypeScriptMIT000

Silent Spring: Prototype Pollution Leads to Remote Code Execution in Node.js

MIT000

Performant prototype pollution gadgets detection tool for Node.js applications.

Language:JavaScriptMIT300

Troupe programming language

000

Silent Spring: Prototype Pollution Leads to Remote Code Execution in Node.js

Language:JavaScriptMIT5100

Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.

Language:JavaApache-2.0300

DiVerT (Disjunctive Verification with Types)

Language:PythonGPL-3.0000

Troupe user guide

000

DynCoVer

Language:JavaGPL-3.0200

A proof-of-concept tool for detection and exploitation Object Injection Vulnerabilities in .NET applications

Language:C#5900