GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Incorrect slicing of functions ending with a noreturn call.
#418 · lzaoral opened on Nov 23, 2021
1
Crash and Assertion `use_empty() && "Uses remain when a value is destroyed!"' failed.
#445 · Clingto opened on Jul 19, 2022
4

Labels Milestones New issue

Failure addDefUseEdges() with certain llvm.dbg.value functions

#465

· Witloof1 opened

on May 21, 2025

An error occurred when slicing C++ code using llvm-slicedr : Declaration may not be in a Comdat!

#461

· ambrosecm opened

on Dec 11, 2024

Interprocedural Analysis Collects All Formal Parameters

#460

· xiaobaozidi opened

on Nov 5, 2024

Question about Multilingual Support

#458

· Y-LONG28 opened

on May 22, 2024

How to use DG in an LLVM Pass?

#457

· junmeiRong opened

on Mar 19, 2024

It there any way to preserve instructions depends on or depended by sliced criterions?

#456

· XChy opened

on Dec 4, 2023

Support LLVM 18

#453

· XChy opened

on Nov 22, 2023

Can DG only do data dependency analysis without program slicing?

#452

· wangteng13 opened

on May 2, 2023

Is data-dependence analysis driven by self-defined pointer analysis or SVF?

#451

· for-just-we opened

on Dec 20, 2022

Build failed

#449

· for-just-we opened

on Dec 12, 2022

Please update SVFPointerAnalysis.h in dg due to SVF updated.

#447

· wliuxingxiangyu opened

on Aug 1, 2022

Slice process is blocked

#446

· Clingto opened

on Jul 20, 2022

0