Random: r-based analyzer for numerical domains
作者： Gianluca Amato , Francesca Scozzari
DOI: 10.1007/978-3-642-28717-6_29
关键词: Domain (mathematical analysis) 、 Loop invariant 、 Abstract interpretation 、 Integer (computer science) 、 Computer science 、 Algorithm 、 Spectrum analyzer 、 Static analysis
摘要: We present the tool Random (R-based Analyzer for Numerical DOMains) static analysis of imperative programs. The is based on theory abstract interpretation and implements several domains detecting numerical properties, in particular integer loop invariants. combines a statistical dynamic with new domain parallelotopes. has graphical interface tuning parameters visualizing partial traces.
springer.com
sci-hub.st 参考文章(31)
François Bourdoncle, Efficient chaotic iteration strategies with widenings formal methods. pp. 128- 141 ,(1993) , 10.1007/BFB0039704
Radhia Cousot, Patrick Cousot, Static determination of dynamic properties of programs Dunod. pp. 106- 130 ,(1976)
Programs as Data Objects Springer Berlin Heidelberg. ,(1986) , 10.1007/3-540-16446-4
Maurice Bruynooghe, A practical framework for the abstract interpretation of logic programs Journal of Logic Programming. ,vol. 10, pp. 91- 124 ,(1991) , 10.1016/0743-1066(91)80001-T
K. Etessami, Analysis of Recursive Game Graphs Using Data Flow Equations verification model checking and abstract interpretation. pp. 282- 296 ,(2004) , 10.1007/978-3-540-24622-0_23
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna, Scalable Analysis of Linear Systems Using Mathematical Programming Lecture Notes in Computer Science. pp. 25- 41 ,(2005) , 10.1007/978-3-540-30579-8_2
Gianluca Amato, Maurizio Parton, Francesca Scozzari, A Tool Which Mines Partial Execution Traces to Improve Static Analysis Runtime Verification. pp. 475- 479 ,(2010) , 10.1007/978-3-642-16612-9_37
Bertrand Jeannet, Antoine Miné, Apron: A Library of Numerical Abstract Domains for Static Analysis Computer Aided Verification. ,vol. 5643, pp. 661- 667 ,(2009) , 10.1007/978-3-642-02658-4_52
甘利 俊一, A. Hyvärinen, J. Karhunen and E. Oja, Independent Component Analysis, Jhon Wiley & Sons, 2001年，504ページ． （根本幾・川勝真喜訳：独立成分分析——信号解析の新しい世界，東京電機大学出版局，2005年，532ページ．） 数学. ,vol. 62, pp. 412- 416 ,(2010) , 10.11429/SUGAKU.0623412
Gianluca Amato, Maurizio Parton, Francesca Scozzari, Deriving numerical abstract domains via principal component analysis static analysis symposium. ,vol. 6337, pp. 134- 150 ,(2010) , 10.1007/978-3-642-15769-1_9