Verifying information flow and metaprogramming in dynamically typed languages
This gzip-compressed tar archive contains files supporting a paper on information flow analysis for a JavaScript-like language, focusing on how to handle eval.<br/><br/> The focus of the paper is an automated program analysis for this language. The directory demo1 contains an implementa...
| Egile nagusia: | |
|---|---|
| Formatua: | Dataset |
| Argitaratua: |
University of Oxford
2015
|
| Gaiak: |