Filters








375 Hits in 6.2 sec

Software That Checks Software: The Impact of PC-lint

James Gimpel
2014 IEEE Software  
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

Krishna Chaya Addagarrala, Patrick Kinnicutt
2018 International Journal of Engineering & Technology  
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  
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

David Evans, John Guttag, James Horning, Yang Meng Tan
1994 Software engineering notes  
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

Fraser Macdonald, James Miller, Andrew Brooks, Marc Roper, Murray Wood
1996 Automated Software Engineering : An International Journal  
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

J. Zheng, L. Williams, N. Nagappan, W. Snipes, J.P. Hudepohl, M.A. Vouk
2006 IEEE Transactions on Software Engineering  
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

D. Beyer, A. Noack, C. Lewerentz
2005 IEEE Transactions on Software Engineering  
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

Lian Yu, Jun Zhou, Yue Yi, Jianchu Fan, Qianxiang Wang
2009 2009 Ninth International Conference on Quality Software  
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

David Evans, John Guttag, James Horning, Yang Meng Tan
1994 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94  
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

Warren A. Hunt, Matt Kaufmann, J Strother Moore, Anna Slobodova
2017 Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences  
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

Antonio Vetro, Nico Zazworka, Forrest Shull, Carolyn Seaman, Michele A. Shaw
2012 2012 35th Annual IEEE Software Engineering Workshop  
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]

Holger M., Johan Kraft, Hausi A.
2012 Reverse Engineering - Recent Advances and Applications  
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

Eric Bean
2008 IEEE Instrumentation & Measurement Magazine  
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

Gabriella Carrozza, Marcello Cinque, Ugo Giordano, Roberto Pietrantuono, Stefano Russo
2015 2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice  
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

M.D. Ernst, G.J. Badros, D. Notkin
2002 IEEE Transactions on Software Engineering  
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