research-article

Static Code Analysis

Author:

Panagiotis LouridasAuthors Info & Claims

IEEE Software, Volume 23, Issue 4

Pages 58 - 61

https://doi.org/10.1109/MS.2006.114

Published: 01 July 2006 Publication History

Publisher Site

Abstract

Static code checkers are usually deployed after compilation and before testing. The success of Lint, a C source code program checker from 1977, has generated many descendant tools, both open source and proprietary. The author examines three open source tools and one commercial product.

References

[1]

S. Johnson, Lint: A C Program Checker, tech. report 65, Bell Laboratories, Dec. 1977.

Google Scholar

[2]

IEEE Software, vol. 22, no. 4, 2005, pp. 12–15.

Digital Library

Google Scholar

[3]

T.J. McCabe, "A Complexity Measure," IEEE Trans. Software Eng., vol. 2, no. 4, 1976, pp. 308–320.

Digital Library

Google Scholar

[4]

IEEE Trans. Software Eng., vol. 20, no. 6, 1994, pp. 476–493.

Digital Library

Google Scholar

[5]

N. Wirth, "Good Ideas, through the Looking Glass," Computer, vol. 39, no. 1, 2006, pp. 28–39.

Digital Library

Google Scholar

Cited By

View all

Bhutani VToosi FBuckley J(2024)Analysing the AnalysersApplied Computer Systems10.2478/acss-2024-001329:1(98-111)Online publication date: 15-Aug-2024
https://dl.acm.org/doi/10.2478/acss-2024-0013
Obermüller FFraser G(2024)Do Scratchers Fix Their Bugs? Detecting Fixes of Scratch Static Analysis WarningsProceedings of the 19th WiPSCE Conference on Primary and Secondary Computing Education Research10.1145/3677619.3678108(1-4)Online publication date: 16-Sep-2024
https://dl.acm.org/doi/10.1145/3677619.3678108
Fehrer TCabrera Lozoya RSabetta ADi Nucci DTamburri D(2024)Detecting Security Fixes in Open-Source Repositories using Static Code AnalyzersProceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering10.1145/3661167.3661217(429-432)Online publication date: 18-Jun-2024
https://dl.acm.org/doi/10.1145/3661167.3661217
Show More Cited By

Index Terms

Static Code Analysis
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Process validation
        Walkthroughs
      2. Software defect analysis
        Software testing and debugging

Recommendations

DIPS: Debug Intermittently-Powered Systems Like Any Embedded System
SenSys '22: Proceedings of the 20th ACM Conference on Embedded Networked Sensor Systems

Debugging and testing battery-free intermittently-powered systems is notoriously difficult. This is not only due to the additional complexity of maintaining state through power failures but also due to the lack of proper tools to test and debug these ...
Difficult XSS Code Patterns for Static Code Analysis Tools
Computer Security
Abstract
We present source code patterns that are difficult for modern static code analysis tools. Our study comprises 50 different open source projects in both a vulnerable and a fixed version for XSS vulnerabilities reported with CVE IDs over a period of ...
Verification of CGRA Executable Code and Debugging of Memory Dependence Violation
MTV '12: Proceedings of the 2012 13th International Workshop on Microprocessor Test and Verification

We present verification and debugging of highly optimized executable code that is generated from C source code to run on CGRA (Coarse-Grained Reconfigurable Array). To generate the executable code, the CGRA compiler uses software pipelining technique ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

IEEE Software Volume 23, Issue 4

July 2006

100 pages

ISSN:0740-7459

Issue’s Table of Contents

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 July 2006

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 24 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bhutani VToosi FBuckley J(2024)Analysing the AnalysersApplied Computer Systems10.2478/acss-2024-001329:1(98-111)Online publication date: 15-Aug-2024
https://dl.acm.org/doi/10.2478/acss-2024-0013
Obermüller FFraser G(2024)Do Scratchers Fix Their Bugs? Detecting Fixes of Scratch Static Analysis WarningsProceedings of the 19th WiPSCE Conference on Primary and Secondary Computing Education Research10.1145/3677619.3678108(1-4)Online publication date: 16-Sep-2024
https://dl.acm.org/doi/10.1145/3677619.3678108
Fehrer TCabrera Lozoya RSabetta ADi Nucci DTamburri D(2024)Detecting Security Fixes in Open-Source Repositories using Static Code AnalyzersProceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering10.1145/3661167.3661217(429-432)Online publication date: 18-Jun-2024
https://dl.acm.org/doi/10.1145/3661167.3661217
He WDi PMing MZhang CSu TLi SSui Y(2024)Finding and Understanding Defects in Static Analyzers by Constructing Automated OraclesProceedings of the ACM on Software Engineering10.1145/36607811:FSE(1656-1678)Online publication date: 12-Jul-2024
https://dl.acm.org/doi/10.1145/3660781
Singh AFariha ABrooks CSoares GHenley ATiwari AM CChoi HGulwani SStephenson BStone JBattestilli LRebelsky SShoop L(2024)Investigating Student Mistakes in Introductory Data Science ProgrammingProceedings of the 55th ACM Technical Symposium on Computer Science Education V. 110.1145/3626252.3630884(1258-1264)Online publication date: 7-Mar-2024
https://dl.acm.org/doi/10.1145/3626252.3630884
Jiang YZhang CHe SYang ZMa MQin SKang YDang YRajmohan SLin QZhang DRoychoudhury APaiva AAbreu RStorey M(2024)Xpert: Empowering Incident Management with Query Recommendations via Large Language ModelsProceedings of the IEEE/ACM 46th International Conference on Software Engineering10.1145/3597503.3639081(1-13)Online publication date: 20-May-2024
https://dl.acm.org/doi/10.1145/3597503.3639081
Yue GXiao HChen J(2023)Backdoor Detection Based on Static Code Analysis and Software Component AnalysisProceedings of the 2023 3rd International Conference on Big Data, Artificial Intelligence and Risk Management10.1145/3656766.3656967(1120-1124)Online publication date: 24-Nov-2023
https://dl.acm.org/doi/10.1145/3656766.3656967
Biringa CKul G(2023)PACE: A Program Analysis Framework for Continuous Performance PredictionACM Transactions on Software Engineering and Methodology10.1145/363723033:4(1-23)Online publication date: 14-Dec-2023
https://dl.acm.org/doi/10.1145/3637230
Obermüller FGreifenstein LFraser GLaakso MMonga MSimon Sheard J(2023)Effects of Automated Feedback in Scratch Programming TutorialsProceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 110.1145/3587102.3588803(396-402)Online publication date: 29-Jun-2023
https://dl.acm.org/doi/10.1145/3587102.3588803

Abstract

References

Cited By

Index Terms

Recommendations

DIPS: Debug Intermittently-Powered Systems Like Any Embedded System

Difficult XSS Code Patterns for Static Code Analysis Tools

Verification of CGRA Executable Code and Debugging of Memory Dependence Violation

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations