STLlint: lifting static checking from languages to libraries-Reference-Cited by-同舟云学术

STLlint: lifting static checking from languages to libraries

Published:2006 Issue:3 Volume:36 Page:225-254
ISSN:0038-0644
Container-title:Software: Practice and Experience
language:en
Short-container-title:Softw: Pract. Exper.

Author:

Gregor Douglas,Schupp Sibylle

Publisher

Wiley

Subject

Software

Reference54 articles.

1. Lint, a C program checker. Technical Report 65, AT&T Bell Laboratories, 1978.

2. Annotation-assisted lightweight static checking. First International Workshop on Automated Program Analysis, Testing and Verification, February 2000.

3. , , . LCLint: A tool for using specifications to check code. Proceedings of the SIGSOFT Symposium on the Foundations of Software Engineering. ACM Press: New York, 1994; 87–96.

4. , , , , , . Extended static checking for Java. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM Press: New York, 2002; 234–241.

5. . The Java Programming Language. Addison-Wesley: Reading, MA, 1998.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A static analysis method for safe comparison functors in C++;Annales Mathematicae et Informaticae;2020

2. Static analysis of functors’ mathematical properties in C++ source code;AIP Conference Proceedings;2019

3. A fully verified container library;Formal Aspects of Computing;2018-09

4. Source-to-Source Instrumentation for Profiling Runtime Behavior of C++ Containers;2018 IEEE 20th International Conference on High Performance Computing and Communications; IEEE 16th International Conference on Smart City; IEEE 4th International Conference on Data Science and Systems (HPCC/SmartCity/DSS);2018-06

5. Two techniques to improve the precision of a demand-driven null-dereference verification approach;Science of Computer Programming;2015-02