BestHub
Sign in
Tag

program analysis

0 views collected around this technical thread.

AntTech
AntTech
Dec 23, 2024 · Fundamentals

Data‑Driven Cross‑Language Program Analysis with Datalog: CodeFuse‑Query and Its ICSE 2025 Publication

The article introduces a data‑driven, Datalog‑based cross‑language program analysis technique presented in an ICSE 2025 paper, describes the open‑source CodeFuse‑Query platform, its technical innovations, and multiple production scenarios such as code evaluation, precise testing, dead‑code detection, and large‑scale code data cleaning.

CodeFuse-QueryDatalogICSE2025
0 likes · 8 min read
Data‑Driven Cross‑Language Program Analysis with Datalog: CodeFuse‑Query and Its ICSE 2025 Publication
360 Quality & Efficiency
360 Quality & Efficiency
Jul 9, 2018 · Fundamentals

Reliability Redundancy, Gödel’s Incompleteness, and the Halting Problem: Foundations of Program Analysis

The article explores reliability engineering with redundant systems, explains Gödel’s incompleteness theorem and the halting problem, and introduces program static analysis techniques, illustrating how theoretical foundations guide practical approaches to detecting software defects through approximations and abstract interpretation.

GödelReliabilitycomputability
0 likes · 8 min read
Reliability Redundancy, Gödel’s Incompleteness, and the Halting Problem: Foundations of Program Analysis