KTH-LangSec's repositories
server-side-prototype-pollution
A collection of Server-Side Prototype Pollution gadgets and exploits
shiftleft.proj.kth.se
The source for the website of the ShiftLeft project
MIT000
000
Language:JavaScriptMIT000
Language:TypeScriptMIT000
silentspring4ghunter
Silent Spring: Prototype Pollution Leads to Remote Code Execution in Node.js
MIT000
TroupeLang
Troupe programming language
000
silent-spring
Silent Spring: Prototype Pollution Leads to Remote Code Execution in Node.js
nodeprof.js
Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.
DiVerT
DiVerT (Disjunctive Verification with Types)
Language:PythonGPL-3.0000
Troupe-user-guide
Troupe user guide
000
jpf-dyncover
DynCoVer
SerialDetector
A proof-of-concept tool for detection and exploitation Object Injection Vulnerabilities in .NET applications