Proceedings of the 2004 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems 2004
DOI: 10.1145/1023833.1023857
|View full text |Cite
|
Sign up to set email alerts
|

Static program analysis of embedded executable assembly code

Abstract: We consider the problem of automatically checking if coding standards have been followed in the development of embedded applications. The problem arises from practical considerations because DSP chip manufacturers (in our case Texas Instruments) want various third party software developers to adhere to a certain coding standard to facilitate system integration during application development. Checking for compliance with coding standards, in general, is undecidable. Moreover, only machine code of the system com… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
7
0

Year Published

2004
2004
2019
2019

Publication Types

Select...
3
2
2

Relationship

0
7

Authors

Journals

citations
Cited by 10 publications
(7 citation statements)
references
References 27 publications
0
7
0
Order By: Relevance
“…The code-semantics-based [12]: the code-semantics-based analyzes the meaning of the instructions. In addition, it obtains the flow chart and the functional block diagram of malware, and to determine whether the program is malicious, it analyzes the functions and intentions of the program.…”
Section: Related Workmentioning
confidence: 99%
“…The code-semantics-based [12]: the code-semantics-based analyzes the meaning of the instructions. In addition, it obtains the flow chart and the functional block diagram of malware, and to determine whether the program is malicious, it analyzes the functions and intentions of the program.…”
Section: Related Workmentioning
confidence: 99%
“…After certain epochs of training, the cost function will change very little when updates using Eq. (11). Constrastive divergence (CD) is developed by Geoffrey Hinton for training RBM model.…”
Section: Image Texture Analysis Based On Deep Belief Networkmentioning
confidence: 99%
“…In order to have a fair comparison, the correct classification rate is performed as the following equation (11).…”
Section: Preds=dbnpredict(testx)mentioning
confidence: 99%
See 1 more Smart Citation
“…propose in [29] its use to support model checking of Intel MCS-51 microcontroller code by providing information that can be statically extracted from the source assembly code. Venkitamaran and Gupta [30] also analyze assembly code to automatically check whether code standards defined for a family of DSP processors have been followed by third party software developers.…”
Section: Static Analysis and Related Workmentioning
confidence: 99%