ACM Computing Surveys (CSUR)
Software modeling and measurement: the Goal/Question/Metric paradigm
Software modeling and measurement: the Goal/Question/Metric paradigm
Gardeners and gurus: patterns of cooperation among CAD users
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
An empirical study of static call graph extractors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Understanding and improving technology transfer in software engineering
Journal of Systems and Software - Special issue on invited articles on top systems and software engineering scholars
Proceedings of the Conference on The Future of Software Engineering
A system and language for building system-specific, static analyses
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
IEEE Software
Querying as an Enabling Technology in Software Reengineering
CSMR '99 Proceedings of the Third European Conference on Software Maintenance and Reengineering
Union Schemas as a Basis for a C++ Extractor
WCRE '01 Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01)
Analyzing and Understanding Architectural Characteristics of COM+ Components
IWPC '03 Proceedings of the 11th IEEE International Workshop on Program Comprehension
The Detection of Faulty Code Violating Implicit Coding Rules
ISESE '02 Proceedings of the 2002 International Symposium on Empirical Software Engineering
Semantic Grep: Regular Expressions + Relational Abstraction
WCRE '02 Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE'02)
Program Annotation in XML: A Parse-Tree Based Approach
WCRE '02 Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE'02)
Revealer: A Lexical Pattern Matcher for Architecture Recovery
WCRE '02 Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE'02)
Leveraging Program Analysis for Web Site Reverse Engineering
WSE '01 Proceedings of the 3rd International Workshop on Web Site Evolution (WSE'01)
Deriving tolerant grammars from a base-line grammar
ICSM '03 Proceedings of the International Conference on Software Maintenance
RacerX: effective, static detection of race conditions and deadlocks
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Correlation exploitation in error ranking
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Effective pattern matching of source code using abstract syntax patterns
Software—Practice & Experience
A Meta-Model for Enterprise Applications
SYNASC '06 Proceedings of the Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
International Journal of Web Engineering and Technology
Scenario-Based Comparison of Clone Detection Techniques
ICPC '08 Proceedings of the 2008 The 16th IEEE International Conference on Program Comprehension
Data Model Reverse Engineering in Migrating a Legacy System to Java
WCRE '08 Proceedings of the 2008 15th Working Conference on Reverse Engineering
Goto Elimination Strategies in the Migration of Legacy Code to Java
CSMR '08 Proceedings of the 2008 12th European Conference on Software Maintenance and Reengineering
A Survey of WCET Analysis of Real-Time Operating Systems
ICESS '09 Proceedings of the 2009 International Conference on Embedded Software and Systems
MSR '09 Proceedings of the 2009 6th IEEE International Working Conference on Mining Software Repositories
A few billion lines of code later: using static analysis to find bugs in the real world
Communications of the ACM
Optimizing preventive service of software products
IBM Journal of Research and Development
Enforcing structural regularities in software using IntensiVE
Science of Computer Programming
Domain-specific program checking
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Static analysis for enforcing intra-thread consistent locks in the migration of a legacy system
ICSM '10 Proceedings of the 2010 IEEE International Conference on Software Maintenance
ICSM '10 Proceedings of the 2010 IEEE International Conference on Software Maintenance
Trace recording for embedded systems: lessons learned from five industrial projects
RV'10 Proceedings of the First international conference on Runtime verification
Towards a Safe Method for Computing Dependencies in Database-Intensive Systems
CSMR '10 Proceedings of the 2010 14th European Conference on Software Maintenance and Reengineering
Hi-index | 0.00 |
In this paper, we are exploring the approach to utilize system-specific static analyses of code with the goal to improve software quality for specific software systems. Specialized analyses, tailored for a particular system, make it possible to take advantage of system/domain knowledge that is not available to more generic analyses. Furthermore, analyses can be selected and/or developed in order to best meet the challenges and specific issues of the system at hand. As a result, such analyses can be used as a complement to more generic code analysis tools because they are likely to have a better impact on (business) concerns such as improving certain software quality attributes and reducing certain classes of failures. We present a case study of a large, industrial embedded system, giving examples of what kinds of analyses could be realized and demonstrate the feasibility of implementing such analyses. We synthesize lessons learned based on our case study and provide recommendations on how to realize system-specific analyses and how to get them adopted by industry.