Abstract domains of affine relations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6887 LNCS, Issue , 2011, Pages 198-215

  Elder, Matt ^a   Lim, Junghee ^a   Sharma, Tushar ^a   Andersen, Tycho ^a   Reps, Thomas ^a,b  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

^b GRAMMATECH INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT DOMAINS; INTERCONVERSIONS;

SEMANTICS; STATIC ANALYSIS;

ABSTRACTING;

EID: 80053120169     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-23702-7_17     Document Type: Conference Paper

References (26)

1. Bach, E.: Linear algebra modulon. Unpublished manuscript (December 1992)
2. Bouajjani, A., Esparza, J., Touili, T.: A generic approach to the static analysis of concurrent programs with procedures. In: POPL (2003)
3. Dutertre, B., de Moura, L.: Yices: An SMT solver (2006), http://yices.csl.sri.com/
4. Elder, M., Lim, J., Sharma, T., Andersen, T., Reps, T.: Abstract domains of affine relations. Tech. Rep. TR-1691, Comp. Sci. Dept., Univ. of Wisconsin, Madison, WI (June 2011)
5. Gulwani, S., Necula, G.: Discovering affine equalities using random interpretation. In: POPL (2003)
6. Gulwani, S., Necula, G.: Precise interprocedural analysis using random interpretation. In: POPL (2005)
7. Hafner, J., McCurley, K.: Asymptotically fast triangularization of matrices over rings. SIAM J. Comput. 20(6) (1991)
8. s. Linear and Multilinear Algebra 19 (1986)
9. Karr, M.: Affine relationship among variables of a program. Acta Inf. 6, 133-151 (1976)
10. Kidd, N., Lal, A., Reps, T.: WALi: The Weighted Automaton Library (2007), http://www.cs.wisc.edu/wpis/wpds/download.php
11. King, A., Søndergaard, H.: Inferring congruence equations using SAT. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 281-293. Springer, Heidelberg (2008)
12. King, A., Søndergaard, H.: Automatic abstraction for congruences. In: Barthe, G., Hermenegildo, M. (eds.) VMCAI 2010. LNCS, vol. 5944, pp. 197-213. Springer, Heidelberg (2010)
13. Knoop, J., Steffen, B.: The interprocedural coincidence theorem. In: Pfahler, P., Kastens, U. (eds.) CC 1992. LNCS, vol. 641. Springer, Heidelberg (1992)
14. Lal, A., Reps, T.: Improving pushdown system model checking. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 343-357. Springer, Heidelberg (2006) (Pubitemid 44560889)
15. Lal, A., Reps, T., Balakrishnan, G.: Extended weighted pushdown systems. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 434-448. Springer, Heidelberg (2005) (Pubitemid 41431755)
16. Lim, J., Reps, T.: A system for generating static analyzers for machine instructions. In: Hendren, L. (ed.) CC 2008. LNCS, vol. 4959, pp. 36-52. Springer, Heidelberg (2008)
17. Meyer, C.: Matrix Analysis and Applied Linear Algebra. SIAM, Philadelphia (2000)
18. Müller-Olm, M., Seidl, H.: Precise interprocedural analysis through linear algebra. In: POPL (2004)
19. Müller-Olm, M., Seidl, H.: Analysis of modular arithmetic. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, pp. 46-60. Springer, Heidelberg (2005) (Pubitemid 41274050)
20. Müller-Olm, M., Seidl, H.: Personal communication (April 2005)
21. Müller-Olm, M., Seidl, H.: Analysis of modular arithmetic. TOPLAS 29(5) (2007)
22. Reps, T., Sagiv, M., Yorsh, G.: Symbolic implementation of the best transformer. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 252-266. Springer, Heidelberg (2004) (Pubitemid 38131382)
23. Reps, T., Schwoon, S., Jha, S., Melski, D.: Weighted pushdown systems and their application to interprocedural dataflow analysis. SCP 58(1-2) (October 2005)
24. Sharir, M., Pnueli, A.: Two approaches to interprocedural data flow analysis. In: Program Flow Analysis: Theory and Applications. Prentice-Hall, Englewood Cliffs (1981)
25. Storjohann, A.: Algorithms for Matrix Canonical Forms. PhD thesis, ETH Zurich, Zurich, Switzerland, Diss. ETH No. 13922 (2000)
26. Warren Jr., H.: Hacker's Delight. Addison-Wesley, Reading (2003)