McSAF: A Static Analysis Framework for MATLAB
作者： Jesse Doherty , Laurie Hendren
DOI: 10.1007/978-3-642-31057-7_7
关键词:
摘要: Matlab is an extremely popular programming language used by scientists, engineers, researchers and students world-wide. Despite its popularity, it has received very little attention from compiler researchers. This paper introduces McSaf, open-source static analysis framework which intended to enable more research for extensions of Matlab. The based on intermediate representation (IR) called McLast, been designed capture all the key features Matlab, while at same time being simple program analysis. describes both IR procedure creating higher-level AST. itself provides visitor-based traversals including fixed-point-based support forwards backwards analyses. McSaf implemented as part McLab project, already a variety analyses, AspectMatlab extension.
springer.com
acm.org
springerlink.com
lirmm.fr 参考文章(18)
Jun Li, MCFOR: A MATLAB TO FORTRAN 95 COMPILER ,(2010)
Raja Vallée-Rai, Etienne Gagnon, Laurie Hendren, Patrick Lam, Patrice Pominville, Vijay Sundaresan, Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? compiler construction. pp. 18- 34 ,(2000) , 10.1007/3-540-46423-9_2
L. De Rose, K. Gallivan, E. Gallopoulos, B. Marsolf, D. Padua, FALCON: A MATLAB interactive restructuring compiler Languages and Compilers for Parallel Computing. pp. 269- 288 ,(1996) , 10.1007/BFB0014205
Maxime Chevalier-Boisvert, Laurie Hendren, Clark Verbrugge, Optimizing MATLAB through just-in-time specialization compiler construction. pp. 46- 65 ,(2010) , 10.1007/978-3-642-11970-5_4
Pramod G. Joisha, Prithviraj Banerjee, The MAGICA type inference engine for MATLAB compiler construction. pp. 121- 125 ,(2003) , 10.1007/3-540-36579-6_9
George Almási, David Padua, MaJIC Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02. ,vol. 37, pp. 294- 303 ,(2002) , 10.1145/512529.512564
Torbjörn Ekman, Görel Hedin, The JastAdd system — modular extensible compiler construction Science of Computer Programming. ,vol. 69, pp. 14- 26 ,(2007) , 10.1016/J.SCICO.2007.02.003
Emma Nilsson-Nyman, Görel Hedin, Eva Magnusson, Torbjörn Ekman, None, Declarative Intraprocedural Flow Analysis of Java Source Code Electronic Notes in Theoretical Computer Science. ,vol. 238, pp. 155- 171 ,(2009) , 10.1016/J.ENTCS.2009.09.046
Jesse Doherty, Laurie Hendren, Soroush Radpour, Kind analysis for MATLAB conference on object-oriented programming systems, languages, and applications. ,vol. 46, pp. 99- 118 ,(2011) , 10.1145/2048066.2048077
Andrew Casey, Laurie Hendren, MetaLexer Proceedings of the tenth international conference on Aspect-oriented software development - AOSD '11. pp. 7- 18 ,(2011) , 10.1145/1960275.1960279