Validation of Embedded Software through Static Analysis of Machine Codes

L Torri, G Fachini, L Steinfeld, V Camara… - 2010 11th Latin …, 2010 - ieeexplore.ieee.org

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 …

被引用次数：18 相关文章所有 5 个版本

[PDF] googleapis.com

Extracting source code

J Tibble, P Avgustinov, P Cawley - US Patent 9,110,737, 2015 - Google Patents

Methods, systems, and apparatus, including computer pro grams encoded on computer
storage media, for extracting Source code. One of the methods includes receiving, by a …

被引用次数：14 相关文章所有 2 个版本

[PDF] googleapis.com

Extracting source code

J Tibble, P Avgustinov, P Cawley - US Patent 9,946,525, 2018 - Google Patents

Methods, systems, and apparatus, including computer programs encoded on computer
storage media, for extracting source code. One of the methods includes receiving, by a …

被引用次数：7 相关文章所有 4 个版本

[PDF] googleapis.com

Extracting source code

J Tibble, P Avgustinov, P Cawley - US Patent 9,612,850, 2017 - Google Patents

Methods, systems, and apparatus, including computer programs encoded on computer
storage media, for extracting source code. One of the methods includes receiving, by a …

被引用次数：5 相关文章所有 4 个版本

[PDF] googleapis.com

Extracting source code

J Tibble, P Avgustinov, P Cawley - US Patent 9,645,804, 2017 - Google Patents

the build environment includes an operating system; a file system; executable files, eg,
compilers; environment variables, eg, variables that indicate a path to file system directories …

被引用次数：4 相关文章所有 4 个版本

[PDF] googleapis.com

Classifying system-generated code

A Baars, SJ Van Schaik - US Patent 10,810,007, 2020 - Google Patents

Methods, systems, and apparatus, including computer programs encoded on computer
storage media, for classifying system-generated code. One of the methods includes …