Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation

Gu, Rong; Zuo, Zhiqiang; Jiang, Xi; Wang, Zhaokang; Wang, Linzhang; Li, Xuandong; Huang, Yihua

doi:10.1109/tpds.2020.3036190

Cited by 11 publications

(3 citation statements)

References 34 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, Zampetti et al [26] present the benefits of SA tools. Gu et al [34] Vasallo et al [33] Sadowski et al [32] Baca et al [31] Kienle et al [30] Zampetti et al [26] Beller et al [25] Hovemeyer and Pugh [20] McGraw [19] Chidamber and Kemerer [18] B. Trunk Documents in the trunk show the evolution of different features of static code analysis. For example, Hallem et al [27] proposed the metal system to identify bugs in the code.…”

Section: A Rootmentioning

confidence: 99%

See 1 more Smart Citation

Static Code Analysis: A Tree of Science Review

Ruiz,

Robledo Giraldo,

Hernando Morales

2023

Entre cienc. ing.

View full text Add to dashboard Cite

Static Code Analysis (SA) is the process of finding vulnerabilities in software. This process has become popular and one of the most evaluated phases in the process of continuous integration of software. However, the literature is spread over different proposals and there is a lack of research that shows the main contributions and applications to this topic. The purpose of this paper is to identify the main conceptual contributions of SA using the Tree of Science algorithm. The results show three main branches of this area: machine learning for smell detection, actionable ranking techniques, and Technical alert tools. Artificial Intelligence has been transforming SA and programmers will have access to more sophisticated tools.

show abstract

Section: A Rootmentioning

confidence: 99%

“…Vasallo et al [33] proposed that Automatic Static Analysis Tools (ASA) are applied differently depending on the context. Finally, Gu et al [34] expose the challenge of SA in large projects and proposed BigSpa for this.…”

Section: A Rootmentioning

confidence: 99%

Static Code Analysis: A Tree of Science Review

Ruiz,

Robledo Giraldo,

Hernando Morales

2023

Entre cienc. ing.

View full text Add to dashboard Cite

show abstract

“…The simple computation logic for graph reachability does not work for Chianina's complex dataflow semantics. As an extension to Graspan, BigSpa [21,81] adapts the same computation model to a distributed setting. Grapple [82] supports path sensitivity by concisely encoding path constraints.…”

Section: Related Workmentioning

confidence: 99%