Advertisement

Evaluation and Reproducibility of Program Analysis (Track Introduction)

  • Markus Schordan
  • Welf Löwe
  • Dirk Beyer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8803)

Abstract

Today’s popular languages have a large number of different language constructs and standardized library interfaces. The number is further increasing with every new language standard.Most published analyses therefore focus on a subset of such languages or define a language with a few essential constructs of interest.More recently, program-analysis competitions [4,6,7,1] aim to evaluate comparatively implemented analyses for a given set of benchmarks. The comparison of the analyses focuses on various aspects: (a) the quality of established structures and automata describing the behavior of the analyzed program, (b) the verification of various specified program properties, (c) the impact on a client analysis of particular interest, and (d) the impact of analysis precision on program optimizations.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Beyer, D.: Status report on software verification (competition summary SV-COMP 2014). In: Ábrahám, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 373–388. Springer, Heidelberg (2014)CrossRefGoogle Scholar
  2. 2.
    Beyer, D., Henzinger, T.A., Keremoglu, M.E., Wendler, P.: Conditional model checking: A technique to pass information between verifiers. In: Bultan, T., Robillard, M. (eds.) Proc. FSE. ACM (2012)Google Scholar
  3. 3.
    Chatzieleftheriou, G., Chatzopoulos, A., Katsaros, P.: Test-driving static analysis tools in search of C code vulnerabilities II (Extended abstract). In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol. 8803, pp. 486–488. Springer, Heidelberg (2014)Google Scholar
  4. 4.
    Combe, D., de la Higuera, C., Janodet, J.-C.: Zulu: An interactive learning competition. In: Yli-Jyrä, A., Kornai, A., Sakarovitch, J., Watson, B. (eds.) FSMNLP 2009. LNCS (LNAI), vol. 6062, pp. 139–146. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  5. 5.
    Gustafsson, J., Ermedahl, A., Lisper, B., Sandberg, C., Källberg, L.: Alf: A language for WCET flow analysis. In: OASIcs-OpenAccess Series in Informatics, vol. 10. Schloss Dagstuhl-Leibniz-Zentrum für Informatik (2009)Google Scholar
  6. 6.
    Howar, F., Isberner, M., Merten, M., Steffen, B., Beyer, D.: The RERS Grey-Box Challenge 2012: Analysis of event-condition-action systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 608–614. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  7. 7.
    Howar, F., Isberner, M., Merten, M., Steffen, B., Beyer, D., Pasareanu, C.S.: Rigorous Examination of Reactive Systems. The RERS Challenges 2012 and 2013. In: Software Tools for Technology Transfer (2014)Google Scholar
  8. 8.
    Lisper, B.: SWEET – A tool for WCET flow analysis (Extended abstract). In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol. 8803, pp. 482–485. Springer, Heidelberg (2014)Google Scholar
  9. 9.
    Quaresma, J., Probst, C.W., Nielson, F.: The Guided System Development Framework: Modeling and verifying communication systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol. 8803, pp. 509–523. Springer, Heidelberg (2014)Google Scholar
  10. 10.
    Rival, X., Toubhans, A., Chang, B.-Y.E.: Construction of abstract domains for heterogeneous properties (Position paper). In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol. 8803, pp. 489–492. Springer, Heidelberg (2014)Google Scholar
  11. 11.
    Schordan, M., Lin, P.-H., Quinlan, D., Pouchet, L.-N.: Verification of polyhedral optimizations with constant loop bounds in finite state space computations. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol. 8803, pp. 493–508. Springer, Heidelberg (2014)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Markus Schordan
    • 1
  • Welf Löwe
    • 2
  • Dirk Beyer
    • 3
  1. 1.Center for Applied Scientific ComputingLawrence Livermore National LaboratoryUSA
  2. 2.Department of Computer ScienceLinnaeus UniversitySweden
  3. 3.Faculty of Computer Science and MathematicsUniversity of PassauGermany

Personalised recommendations