search

cs-au-dk / jalangilogger

Other
2 stars 4 forks source link

All natives in the ValueLogger should refer to a saved version of them #12

Open algobardo opened 7 years ago

algobardo commented 7 years ago

This is to avoid interferences of the logging with the program.

amoeller commented 7 years ago

Example: a program that deletes 'Function' will cause a crash in ValueLogger.js line 711

algobardo commented 7 years ago

The same treatment is also needed for jalangi analysis https://github.com/cs-au-dk/jalangi2/blob/tracifier/src/js/runtime/analysis.js