A Portable Compiler-Integrated Approach to Permanent Checking

Volanschi, Nic

doi:10.1109/ase.2006.8

Cited by 13 publications

(8 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…mygcc [34,35] adopts a pattern-based declarative language for defining customizable checks for C, which are integrated into the GCC [36] and execute on the GIMPLE [37] IR. These checks can be syntactic, flow and memory related or semantic in nature.…”

Section: Related Workmentioning

confidence: 99%

Constantine: configurable static analysis tool in Eclipse

Gawade

Ravikanth²,

Aggarwal

2012

Softw Pract Exp

View full text Add to dashboard Cite

SUMMARYStatic code analysers help in exposing internal code quality problems. For higher effectiveness, they must be pressed into use early during the development of code. They must support the formulation of new coding constraints with relative ease to better cope with variations in coding standards. We present the design of a static analyser that addresses these twin objectives. Our system provides interactive feedback to programmers on the non-conformances that occur in response to the changes made to the code. Its rule construction framework empowers programmers to define new conformance rules, which can come into effect immediately after creation. The tool has been realized as an Eclipse plug-in for the analysis of C, C++ and Java sources. Central to its design is the concept of reusing a set of primitive checks by composing them to form new rules. This renders rule construction accessible to programmers, lowers dependence on tool smiths and accelerates the enforcement of custom checks. We also present our experience in defining rules drawn from an industry standard rule set based on this approach.

show abstract

Section: Related Workmentioning

confidence: 99%

Constantine: configurable static analysis tool in Eclipse

Gawade

Ravikanth²,

Aggarwal

2012

Softw Pract Exp

View full text Add to dashboard Cite

show abstract

“…, are required by the MELT runtime. The hierarchy of discriminants is rooted at discr any receiver 29 . Discriminants are objects (of class discriminant).…”

Section: Melt Values and Stuffmentioning

confidence: 99%

“…28 As in Common Lisp or Emacs Lisp (or C itself), but not as in Scheme, MELT nil value is considered as false, and every non-nil value is true. 29 discr any receiver is rarely used, e.g., to install catch-all method handlers. 30 All :cstring are (const char*) C-strings in the text segment of the executable, so they are not malloc-ed.…”

Section: Melt Values and Stuffmentioning

confidence: 99%

MELT - a Translated Domain Specific Language Embedded in the GCC Compiler

Starynkevitch

2011

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

The GCC free compiler is a very large software, compiling source in several languages for many targets on various systems. It can be extended by plugins, which may take advantage of its power to provide extra specific functionality (warnings, optimizations, source refactoring or navigation) by processing various GCC internal representations (Gimple, Tree, ...). Writing plugins in C is a complex and time-consuming task, but customizing GCC by using an existing scripting language inside is impractical. We describe MELT, a specific Lisp-like DSL which fits well into existing GCC technology and offers high-level features (functional, object or reflexive programming, pattern matching). MELT is translated to C fitted for GCC internals and provides various features to facilitate this. This work shows that even huge, legacy, software can be a posteriori extended by specifically tailored and translated high-level DSLs

show abstract

“…Since the test cases grow exponentially, complete testing is impossible for large programs. Static analysis has been proposed as another approach [8,14,16,34]. However, a complete and sound static analysis of large programs is not feasible in practice.…”

Section: Resultsmentioning

confidence: 99%

“…The algorithmic complexity of a context-sensitive static analysis solution grows exponentially [27,33]. Many tools [26,8,14,16,34] can perform fast intra-procedural static analysis. However, they face challenges in performing the interprocedural analysis for analyzing cross-cutting semantics.…”

Section: An Overview Of the 2-phase Methodsmentioning

confidence: 99%

Proving safety properties of software

Kothari

Gui

View full text Add to dashboard Cite

A Portable Compiler-Integrated Approach to Permanent Checking

Abstract: Abstract

Cited by 13 publications

References 33 publications

Constantine: configurable static analysis tool in Eclipse

Constantine: configurable static analysis tool in Eclipse

MELT - a Translated Domain Specific Language Embedded in the GCC Compiler

Proving safety properties of software

Contact Info

Product

Resources

About