jalangi

There are 3 repositories under jalangi topic.

Haiyang-Sun/nodeprof.js
Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.
Language:Java53 9 3922
Berkeley-Correctness-Group/JITProf
Analyses repository for Jalangi2
Language:JavaScript14 6 03
dmholtz/DynamicProgramSlicing
Dynamic program analysis for intra-procedural slicing of JavaScript programs
Language:JavaScript1 1 200