Gleb Naumovich
George S. Avrunin
- 1 R. Allen and D. Gadan. Formalizing architectural connection. In Proceedings of the 14th International Conference on Sofnvare Engineering, pages 71-80, May 1994. Google Scholar
Digital Library
- 2 R, Allen and D. Garlan. The WRIGHT architectural specification language. Technical Report CMU-CS-96-TBD, Carnegie Mellon University, School of Computer Science, 1996.Google Scholar
- 3 B. W, Boehm. Software and Its Impact: A Qualitative Assessment. Datumation, pages 4% 59, May 1973.Google Scholar
- 4 J. Burch, E. Clarke, K. McMillan, D. Dill, and L. Hwang. Symbolic model checking: 10 states and beyond. In Proceedings of the Fyth Annual IEEE Symposium on Logic in Computer Science, pages 428-439, 1990.Google Scholar
- 5 J. C. Corbett and G. S. Avrunin. Using integer programming to verify general safety and liveness properties. Formal Methods in System Design, 697-123, January 1995. Google ScholarDigital Library
- 6 M. Dwyer and L. Clarke. Data flow analysis for verifying properties of concurrent programs. In Proceedings of the Second ACM S&soft Symposium on Foroldations of Sofnvare Engineering, volume 19, pages 62-75, December 1994. Google ScholarDigital Library
- 7 Formal Systems (Europe) Ltd., Oxford, England. Failures Divergence Refinement: User Mamral and Tutorial. 1.2/3, 1992.Google Scholar
- 8 P. Godefroid and P. Wolper. Using partial orders for the efficient verification of deadlock freedom and safety properties. In Proceedings of the Third Workshop on Computer Aided Verijication, pages 417-428, July 1991. Google ScholarDigital Library
- 9 D. Helmbold and D. Luckham. Debugging Ada tasking programs. IEEE Sofmure. 2(2):47- 57, March 1985.Google Scholar
- 10 C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985. Google ScholarDigital Library
- 11 G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall Software Series, 1991. Google ScholarDigital Library
- 12 M. H. Klein, T. Ralya, B. Pollak, R. Obenza. and M. Harobur. A Practitioner' s Hundbookfor Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Krne Systems. New York: Kluwer-Academic, 1993. Google ScholarDigital Library
- 13 D. C. Luckham, L. M. Augustin, J. J. Kenney, J. Veera, D. Bryan, and W. Mann. Specification analysis of system architecture using Rapide. IEEE Transactions on Sofhvare Engineering, 21(4):336-355, April 1995. Google ScholarDigital Library
- 14 J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In Proceedings of 5th European Sofnvare Engineering Conference, pages 137-153, September 1995, Google ScholarDigital Library
- 15 J. Magee and J. Kramer. Dynamic structure in software architectures. In Proceedings of the 4th ACM SIGSOFT Symposium on the Foundations of Sofnvare Engineering, pages 3-13, October 1996. Google ScholarDigital Library
- 16 S, Masticola and B. Ryder. A model of Ada programs for static deadlock detection in polynomial time. In Proceedings of the Workshop on Parallel and Distributed Debugging, pages 97-107. ACM, May 1991. Google ScholarDigital Library
- 17 K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Boston, 1993. Google ScholarDigital Library
- 18 M. Moriconi, X. Qian, and R. A. Riemenschneider. Correct architecture refinement. IEEE fiansactions on Sofnvare Engineering, 21(4):356-372, April 1995. Google ScholarDigital Library
- 19 G. Naumovich, G. S. Avrunin, L. A. Clarke, and L. J. Osterweil. Applying static analysis to software architectures. Technical Report UM-CS-1997-008, University of Massachusetts/Amherst, 1997. (http://laser.cs.umass.edu/abstracts/architecture.html). Google ScholarDigital Library
- 20 M. Shaw, R. DeLine, D. V. Klein, T. L. Ross, D. M. Young, and G. Zelesnik. Abstractions for software architecture and tools to support them. IEEE Transactions on Sofnvare Engineering, 21(4):314-335, April 1995. Google ScholarDigital Library
- 21 A. Valmari. A stubborn attack on state explosion. In E. M. Clarke and R. Kurshan, editors, Computer-Aided Verification 90, pages 25-41. American Mathematical Society, Providence RI, 1991. Number 3 in DIMACS Series in Discrete Mathematics and Theoretical Computer Science. Google Scholar
Index Terms
- Applying static analysis to software architectures
Recommendations
SVF: interprocedural static value-flow analysis in LLVM
CC 2016: Proceedings of the 25th International Conference on Compiler ConstructionThis paper presents SVF, a tool that enables scalable and precise interprocedural Static Value-Flow analysis for C programs by leveraging recent advances in sparse analysis. SVF, which is fully implemented in LLVM, allows value-flow construction and ...
Comments