×

Jalangi

swMATH ID: 25259
Software Authors: Sen, K., Kalasapur, S., Brutch, T.G., Gibbs, S.
Description: Jalangi: a selective record-replay and dynamic analysis framework for JavaScript. Jalangi2 is a framework for writing dynamic analyses for JavaScript. Jalangi1 is still available at https://github.com/SRA-SiliconValley/jalangi, but we no longer plan to develop it. Jalangi2 does not support the record/replay feature of Jalangi1. In the Jalangi2 distribution you will find several analyses: ..
Homepage: https://github.com/Samsung/jalangi2
Source Code: https://github.com/Samsung/jalangi2
Related Software: z3; HAMPI; Z3str3; jCUTE; DART; KLEE; CUTE; Norn; CVC4; Z3-str; Z3str2; S3; Chaff; ExpoSE; Proteus; Pex; GitHub; Stranger; SUNNY; claspfolio 2
Cited in: 5 Publications

Cited in 0 Serials

Citations by Year