BestHub
Sign in
Tagged articles

Datalog

3 articles · Page 1 of 1
AI Large-Model Wave and Transformation Guide
AI Large-Model Wave and Transformation Guide
Aug 12, 2026 · Artificial Intelligence

How an Open‑Source “Palantir” Lets Every AI Decision Be Audited via a Single Graph

Semantica, an open‑source project dubbed the ‘open‑source Palantir’, builds a context graph that records each AI decision as a first‑class node, links entities with typed edges, timestamps changes with a hash‑chain ledger, and provides deterministic Datalog reasoning, enabling full traceability and auditability of AI‑driven outcomes.

AI auditingDatalogdecision intelligence
0 likes · 13 min read
How an Open‑Source “Palantir” Lets Every AI Decision Be Audited via a Single Graph
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-QueryCross-languageDatalog
0 likes · 8 min read
Data‑Driven Cross‑Language Program Analysis with Datalog: CodeFuse‑Query and Its ICSE 2025 Publication
vivo Internet Technology
vivo Internet Technology
May 10, 2023 · Information Security

Detecting Apache Commons Text RCE (CVE-2022-42889) with the Doop Static Analysis Framework

The Vivo Internet Security Team demonstrates how to extend the Doop static analysis framework with custom Datalog rules to detect the Apache Commons Text CVE‑2022‑42889 remote code execution vulnerability by tracing taint from StringSubstitutor.replace to ScriptEngine.eval, producing source‑sink CSV reports and showcasing Doop’s extensibility for security research.

Apache Commons TextCVE-2022-42889Datalog
0 likes · 14 min read
Detecting Apache Commons Text RCE (CVE-2022-42889) with the Doop Static Analysis Framework