Symbolic Automata: The Toolkit
暂无分享,去创建一个
[1] Nikolaj Bjørner,et al. Symbolic finite state transducers: algorithms and applications , 2012, POPL '12.
[2] Margus Veanes,et al. An Evaluation of Automata Algorithms for String Analysis , 2011, VMCAI.
[3] Kousha Etessami,et al. Analysis of Recursive Game Graphs Using Data Flow Equations , 2004, VMCAI.
[4] Fang Yu,et al. Stranger: An Automata-Based String Analysis Tool for PHP , 2010, TACAS.
[5] Michael D. Ernst,et al. HAMPI: a solver for string constraints , 2009, ISSTA.
[6] Aske Simon Christensen,et al. Precise Analysis of String Expressions , 2003, SAS.
[7] Benjamin Livshits,et al. Fast and Precise Sanitizer Analysis with BEK , 2011, USENIX Security Symposium.
[8] J. Engelfriet,et al. Graph Structure and Monadic Second-Order Logic: Monadic second-order logic , 2012 .
[9] Steve Hanna,et al. A Symbolic Execution Framework for JavaScript , 2010, 2010 IEEE Symposium on Security and Privacy.
[10] Nils Klarlund,et al. MONA: Monadic Second-Order Logic in Practice , 1995 .
[11] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.