Validation of Embedded Software through Static Analysis of Machine Codes

Chacko, Mariamma; Jacob, Poulose

doi:10.1109/iadcc.2009.4809256

Search citation statements

Order By: Relevance

Paper Sections

Select...

Static Analysis and Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2010

Publication Types

Select...

Other1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The SA tool requires an annotated C code (with restrictions on shared memory pointer usage) which is pre-processed before being analyzed. Chacko and Jacob [32] present a code validation tool that analyses machine-level code against a set of rules based on the instruction set and architectural features of a particular processor. The rules are defined after a thorough analysis of various instructions used for configuring the integrated peripherals of the target processor.…”

Section: Static Analysis and Related Workmentioning

confidence: 99%

An evaluation of free/open source static analysis tools applied to embedded software

Torri

Fachini

Steinfeld

et al. 2010

2010 11th Latin American Test Workshop

View full text Add to dashboard Cite

Static analysis can be a valuable strategy to improve the quality of embedded software at a lower development cost. In this paper, we have surveyed ten different free/open source tools that perform static software analysis and evaluated their use in embedded software. Experimental results show that the studied tools present widely different results, and most of them are not ready to be applied to embedded systems. Furthermore, we discuss possible directions to improve the use of static analysis tools in the embedded domain.

show abstract

Section: Static Analysis and Related Workmentioning

confidence: 99%