web commit by zack
[homepage.git] / wiki / academia / reading_list / on_macros__44___lisp__44___....mdwn
index 71cce76..72da355 100644 (file)
@@ -2,3 +2,12 @@ Papers by Queinnec on Lisp macros' semantics:
 
 * [modules, macros and lisp](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/chili.ps.gz)
 * [mdules, macros and evaluation](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/modmac2.ps.gz)
+
+Specific works on scripting languages:
+
+* [Finding Bugs in Bash Scripts](http://www.cis.upenn.edu/~stevez/papers/MZ07.pdf) by Mazurak and Zdancewic
+* *[Static detection of security vulnerabilities in scripting languages](http://theory.stanford.edu/~aiken/publications/papers/usenix06.pdf)*, by Y. Xie and A. Aiken. In Proceedings of the 15th USENIX Security Symposium, July 2006.
+
+Misc stuff on static analysis which *might* be interesting:
+
+* [Static Analysis of Mega-Programs](http://www.springerlink.com/content/tbylt4jtqql3wne6/)