A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Software That Checks Software: The Impact of PC-lint
2014
IEEE Software
Preserved Fulltext
In this column, James Gimpel gives some fascinating insights into the growth, technology, and impact of the very widely used static analyzer PC-lint in the never-ending battle against the bug. ...
Some programmers don't like the concept of a separate lint tool, having the mind-set that the compiler should do that task. ...
Not everything implemented was the result of our own ideas. ...
doi:10.1109/ms.2014.13
fatcat:4jafglb7mjhato54vcjvwpgdhq
Safety critical software ground rules
2018
International Journal of Engineering & Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We also discuss the role of static analysis and software integrity levels in these standards, similarities in these standards and the set of activities followed in the development process of these standards ...
Safety critical software systems are those systems whose failure could result in the death or a serious injury to the people's life, security is one of the important topics in the field of safety-critical ...
Gonzhu Hu for their assistance in helping with the literature review and the proofreading. ...
doi:10.14419/ijet.v7i2.28.13209
fatcat:7m2tmab4rbanzofdzdjigxtixa
Table of contents
2014
IEEE Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Forrest Shull
15 Impact
Software That Checks Software:
The Impact of PC-lint
James Gimpel
20 On Computing
The Human and Ethical
Aspects of Big Data
Grady Booch
23 Tools of the Trade
Bespoke ...
Requirements
Practicing What We Preach
Smita Ghaisas
96 Voice of Evidence
Looking for the Holy Grail
of Software Development
Parisa Ghazi, Ana M. ...
doi:10.1109/ms.2014.15
fatcat:hfpcstvjune4plkr3enrdi2dwa
LCLint
1994
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels of formal specification. ...
Acknowledgments LCLint is the result of a joint R&D project (Larch) involving Digital and MIT. ...
Special thanks are due to Steve Garland who has contributed every step of the way. Also, thanks to Steve Harrison for providing the quake example. ...
doi:10.1145/195274.195297
fatcat:ooaufokbvzcwji5rp6so5epfvm
Automating the software inspection process
1996
Automated Software Engineering : An International Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
This is followed by a fuller discussion of the features which could be provided by computer support for inspection and the gains that may be achieved by using such support. ...
Inspection is widely believed to be the most cost-effective method for detecting defects in documents produced during the software development lifecycle. ...
Acknowledgements We are extremely grateful to those who provided us with versions of their inspection support tools, in particular Gérard Memmi of Bull HN Information Systems, Inc. ...
doi:10.1007/bf00132566
fatcat:gamijqkltndalg2ka4cybpneki
On the value of static analysis for fault detection in software
2006
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The data indicate that automated static analysis is an affordable means of software fault detection. ...
Using the Orthogonal Defect Classification scheme, we found that automated static analysis is effective at identifying Assignment and Checking faults, allowing the later software production phases to focus ...
ACKNOWLEDGMENTS The authors would like to thank the North Carolina State University (NCSU) Software Engineering reading group for their helpful suggestions on this paper. ...
doi:10.1109/tse.2006.38
fatcat:4s7qfpoqnfhxbbwiafpt6gg6cq
Efficient relational calculation for software analysis
2005
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Calculating with graphs and relations has many applications in the analysis of software systems, for example, the detection of design patterns or patterns of problematic design and the computation of design ...
These applications require an expressive query language, in particular, for the detection of graph patterns, and an efficient evaluation of the queries even for large graphs. ...
His research interests include structural analysis and comprehension of large software systems, software model checking, and formal verification of real-time systems. ...
doi:10.1109/tse.2005.23
fatcat:dqh3jecj25c6jp22qtfcjvui3a
A Hybrid Approach to Detecting Security Defects in Programs
2009
2009 Ninth International Conference on Quality Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Model checking can find defects of deadlocks and routing loops that are not easily detected by static analysis, but faces the problem of state explosion. ...
1 Static analysis works well at checking defects that clearly map to source code constructs. ...
Model checking method emerges as a practical tool for automated debugging of embedded software. ...
doi:10.1109/qsic.2009.10
dblp:conf/qsic/YuZYFW09
fatcat:icciggxvijhszavgdwb5k362lu
LCLint
1994
Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels of formal specification. ...
Acknowledgments LCLint is the result of a joint R&D project (Larch) involving Digital and MIT. ...
Special thanks are due to Steve Garland who has contributed every step of the way. Also, thanks to Steve Harrison for providing the quake example. ...
doi:10.1145/193173.195297
dblp:conf/sigsoft/EvansGHT94
fatcat:dbunvhoqmvcc7bxqffversim2m
Industrial hardware and software verification with ACL2
2017
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper would not be possible without the dedication and enthusiasm of the ACL2 user community and the companies that use or have used ACL2, including AMD, Centaur, IBM, Intel, Kestrel Institute, Oracle ...
We also wish to thank Sol Swords for helpful feedback on a draft of this paper, and to thank the many sponsors of the ACL2 group at the University of Texas at Austin, including NSF and DARPA. ...
to check the correctness of arithmetic circuits. ...
doi:10.1098/rsta.2015.0399
pmid:28871049
fatcat:7bdhr5s6srdrjm6aonktjsm7qq
Investigating Automatic Static Analysis Results to Identify Quality Problems: An Inductive Study
2012
2012 35th Annual IEEE Software Engineering Workshop
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Finally, Marchenko and Abrahamsson [14] used two tools, namely CodeScanner and PC-LINT, to analyze five projects in the Symbian C++ environment. ...
The underlying idea is that each defect reduces a software capability and impacts the corresponding characteristic and subcharacteristic. ...
We compared the capability of Resharper issues to detect the faultiest modules, both at components and files levels with the result that specific ASA issues were more efficient than the sum of them or ...
doi:10.1109/sew.2012.9
dblp:conf/sew/VetroZSSS12
fatcat:wxa2obkzhzhxppw3ni4uxqt6ze
Software Reverse Engineering in the Domain of Complex Embedded Systems
[chapter]
2012
Reverse Engineering - Recent Advances and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Examples of tools are PC-lint (Gimpel Software), CodeSurfer, and Coverity Static Analysis. While these checkers are not strictly reverse engineering analyses, they can aid program understanding. ...
SPIN (Holzmann, 2003; ) is a well established tool for model checking and simulation of software. ...
doi:10.5772/33586
fatcat:cutc7knbajcq5mp6kh7yd7wehu
Defect Prevention and Detection in Software for Automated Test Equipment
2008
IEEE Instrumentation & Measurement Magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
A novel means of using regular expressions to perform range checking was developed. A reduction in rework and increased productivity are the results. ...
Each of these issues increases the probability of error injection during test application development. ...
Acknowledgements I would like to acknowledge the guidance of my fellow team members on the PT3800 project, Dave Irwin and Doug Gutekunst, for their mentoring and guidance. ...
doi:10.1109/mim.2008.4579267
fatcat:rf5djpahirfqzfugrqfp4af2ey
Prioritizing Correction of Static Analysis Infringements for Cost-Effective Code Sanitization
2015
2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Results highlight the benefits that can be achieved in terms of quality targets and incurred cost. ...
Static analysis is a widely adopted technique in the industrial development of software systems. It allows to automatically check for code compliance with respect to predefined programming rules. ...
ACKNOWLEDGMENT This work has been partly supported by the SVEVIA (Innovative methods and techniques for Software VErification and ValIdAtion of near-realtime complex systems) Research Project funded by ...
doi:10.1109/serip.2015.13
dblp:conf/icse/CarrozzaCGPR15
fatcat:5u5cityxbbcc5fmhsddvco75im
An empirical analysis of c preprocessor use
2002
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
The results are of interest to language designers, tool writers, programmers, and software engineers. ...
This is the first empirical study of the use of the C macro preprocessor, Cpp. ...
The authors thank Robert Bowdidge, Netta Shani, and the anonymous referees for their comments, which substantially improved the presentation. ...
doi:10.1109/tse.2002.1158288
fatcat:5fptrfjqsba4xpxcfjogvqvvuu
« Previous
Showing results 1 — 15 out of 375 results