Static Privacy Analysis by Flow Reconstruction of Tainted Data

Abstract

Software security vulnerabilities and leakages of private information are two of the main issues in modern software systems. Several different approaches, ranging from design techniques to run-time monitoring, have been applied to prevent, detect and isolate such vulnerabilities. Static taint analysis has been particularly successful in detecting injection vulnerabilities at compile time. However, its extension to detect leakages of sensitive data has been only partially investigated. In this paper, we introduce BackFlow, a backward flow reconstructor that, starting from the results of a generic taint analysis engine, reconstructs the flow of tainted data. If successful, BackFlow provides full information about the flow that such data (e.g. private information or user input) traversed inside the program before reaching a sensitive point (e.g. Internet communication or execution of an SQL query). Such information is needed to extend taint analysis to privacy analyses, since in such a scenario it is important to know which exact type of sensitive data flows to what type of communication channels. BackFlow has been implemented in Julia (an industrial static analyzer for Java, Android and .NET programs), and applied to WebGoat and different benchmarks to detect both injections and privacy issues. The experimental results prove that BackFlow is able to reconstruct the flow of tainted data for most of the true positives, it scales up to industrial applications, and it can be effectively applied to privacy analysis, such as the detection of sensitive data leaks or compliance with a data regulation.

Data flow analysis in automotive engine underpower fault detection

“…The research on automotive diagnosis technology in China started late, and the development of automotive fault diagnosis technology in China only started in the mid-1960s, beginning with the development of comprehensive automotive test benches for automotive diagnosis, which was a good beginning for the development of automotive fault diagnosis technology in China [2]. By the 1990s, along with the rapid development of road transportation and automobile manufacturing industry and the increase in the number of automobiles, automotive fault diagnosis has become one of the important prerequisites for promoting the development of automobile repair technology [3]. At present, the automotive industry has also gradually started to study automotive fault diagnosis instruments, and at the same time, the safety of automobiles has begun to become the focus of automotive performance diagnosis and testing.…”