mchalupa/dg issues and pull requests

#459 - Inconsistency in Slice Output for Switch Statement

Issue - State: closed - Opened by 1TreeForest 14 days ago - 4 comments

#458 - Question about Multilingual Support

Issue - State: open - Opened by Y-LONG28 4 months ago - 2 comments

#457 - How to use DG in an LLVM Pass?

Issue - State: open - Opened by liushengahn 6 months ago - 4 comments

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

Issue - State: open - Opened by XChy 10 months ago - 6 comments
Labels: question

#455 - pta-show tool not working due to llvm-pta-dump incorrect dot syntax output

Issue - State: closed - Opened by Toaster192 10 months ago - 1 comment
Labels: bug

#454 - LLVM: Bump to LLVM 18

Pull Request - State: open - Opened by XChy 10 months ago - 2 comments

#453 - Support LLVM 18

Issue - State: open - Opened by XChy 10 months ago

#452 - Can DG only do data dependency analysis without program slicing?

Issue - State: open - Opened by wangteng13 over 1 year ago - 1 comment
Labels: question

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

Issue - State: open - Opened by for-just-we almost 2 years ago - 8 comments
Labels: question

#450 - Misc improvements

Pull Request - State: closed - Opened by mchalupa almost 2 years ago

#449 - Build failed

Issue - State: open - Opened by for-just-we almost 2 years ago - 6 comments

#448 - [Question] Is it possible to use dg to slice and analyze Linux source code?

Issue - State: closed - Opened by Hanseltu almost 2 years ago - 3 comments

#447 - Please update SVFPointerAnalysis.h in dg due to SVF updated.

Issue - State: open - Opened by wliuxingxiangyu about 2 years ago - 2 comments

#446 - Slice process is blocked

Issue - State: open - Opened by Clingto about 2 years ago - 9 comments

#445 - Crash and Assertion `use_empty() && "Uses remain when a value is destroyed!"' failed.

Issue - State: open - Opened by Clingto about 2 years ago - 4 comments
Labels: bug

#444 - Intra-procedural slicing

Issue - State: open - Opened by dokyungs about 2 years ago - 1 comment
Labels: question

#443 - llvm-slicer hangs somewhere when slicing sqlite-3.38.0

Issue - State: open - Opened by DemDing over 2 years ago - 6 comments

#442 - Address boundary error when building dg graph in Make 4.2

Issue - State: open - Opened by yuyuyuyuuu over 2 years ago - 4 comments
Labels: bug

#441 - How to slice the program accurately

Issue - State: open - Opened by hrshy0629 over 2 years ago - 12 comments
Labels: question

#440 - llvm-slicer.cpp fixes

Pull Request - State: closed - Opened by lzaoral over 2 years ago - 5 comments

#439 - Quaterly CI update

Pull Request - State: closed - Opened by lzaoral over 2 years ago - 1 comment

#438 - tests: Update Catch2 to 2.13.9

Pull Request - State: closed - Opened by lzaoral over 2 years ago - 1 comment

#437 - Add support for LLVM 14

Pull Request - State: closed - Opened by lzaoral over 2 years ago - 2 comments

#436 - version of SVF used

Issue - State: closed - Opened by yuyuyuyuuu over 2 years ago - 5 comments
Labels: question

#435 - the results of slicing seems wrong

Issue - State: open - Opened by freexxxyyy over 2 years ago - 5 comments
Labels: question

#434 - Slice results only from DDG

Issue - State: open - Opened by zhangzhenghsy over 2 years ago - 5 comments
Labels: question

#433 - Various fixes to stuff found during porting to LLVM 14.

Pull Request - State: closed - Opened by lzaoral over 2 years ago

#432 - tests: Update Catch2 to 2.13.8

Pull Request - State: closed - Opened by lzaoral over 2 years ago - 1 comment

#431 - install error

Issue - State: closed - Opened by freexxxyyy over 2 years ago - 11 comments

#430 - How to slice the following c++ file?

Issue - State: open - Opened by TimHe95 over 2 years ago - 3 comments
Labels: question

#429 - How to `llvm-to-source` a `.sliced` file that is obtained from a linked bitcode file

Issue - State: closed - Opened by TimHe95 over 2 years ago - 2 comments

#428 - Inaccurate slicing.

Issue - State: closed - Opened by jiachunpeng over 2 years ago - 1 comment

#427 - `-cutoff-diverging` may miss some slicing criteria

Issue - State: closed - Opened by mchalupa over 2 years ago
Labels: bug

#426 - How can I slice an arbitrary function?

Issue - State: open - Opened by shouguoyang over 2 years ago - 8 comments
Labels: question

#425 - Cmd args fixes

Pull Request - State: closed - Opened by mchalupa over 2 years ago

#424 - Incorrect building sdg

Issue - State: open - Opened by jiachunpeng over 2 years ago - 10 comments
Labels: question

#423 - CI: Fix LLVM 13 jobs

Pull Request - State: closed - Opened by lzaoral over 2 years ago

#422 - CI: update SVF to latest upstream release

Pull Request - State: closed - Opened by lzaoral over 2 years ago - 1 comment

#421 - The dependence graph doesn't have nodes.

Issue - State: closed - Opened by huang429 almost 3 years ago - 4 comments

#420 - Master rebase

Pull Request - State: closed - Opened by mchalupa almost 3 years ago

#419 - Fix compatibility with latest SVF

Pull Request - State: closed - Opened by lzaoral almost 3 years ago

#418 - Incorrect slicing of functions ending with a `noreturn` call.

Issue - State: open - Opened by lzaoral almost 3 years ago - 1 comment
Labels: bug

#417 - Fix bugs in annotator

Pull Request - State: closed - Opened by lzaoral almost 3 years ago

#416 - VR: extend to verify some cstr benchmarks

Pull Request - State: closed - Opened by GiraffeReversed almost 3 years ago - 9 comments

#415 - `ret` and Line number as a slicing criteria isn't working

Issue - State: open - Opened by aagontuk almost 3 years ago - 1 comment
Labels: bug

#414 - Add missing SVF initialization step

Pull Request - State: closed - Opened by MrConnorKenway almost 3 years ago - 6 comments

#413 - Refactor slicing test runner and get rid of UB in tests

Pull Request - State: closed - Opened by lzaoral almost 3 years ago - 4 comments

#412 - Fix SVF integration

Pull Request - State: open - Opened by lzaoral almost 3 years ago - 10 comments

#411 - Fix all issues reported by CI jobs with static LLVM

Pull Request - State: closed - Opened by lzaoral almost 3 years ago

#410 - CI: add job to find unformatted files

Pull Request - State: closed - Opened by lzaoral almost 3 years ago - 1 comment

#409 - Small header & include spring clean-up

Pull Request - State: closed - Opened by lzaoral almost 3 years ago - 4 comments

#408 - CI: add build with static LLVM to Linux CI

Pull Request - State: closed - Opened by lzaoral almost 3 years ago

#407 - Fix warnings reported in Debug CI Jobs

Pull Request - State: closed - Opened by lzaoral almost 3 years ago - 1 comment

#406 - Fix CI

Pull Request - State: closed - Opened by lzaoral almost 3 years ago - 2 comments

#405 - Update bundled Catch2 to 2.13.7

Pull Request - State: closed - Opened by lzaoral almost 3 years ago

#404 - Update CI

Pull Request - State: closed - Opened by lzaoral almost 3 years ago - 5 comments

#403 - VR: use fixed and refactored version

Pull Request - State: closed - Opened by GiraffeReversed almost 3 years ago - 15 comments

#402 - PTA: handle looseless casts

Pull Request - State: closed - Opened by mchalupa about 3 years ago

#401 - `llvm-slicer` crashes on `@llvm.memset.p0i8.i64`

Issue - State: closed - Opened by lzaoral about 3 years ago

#400 - CI: fix SVF job

Pull Request - State: closed - Opened by lzaoral about 3 years ago

#399 - cmake: mark LLVM's and SVF's include directories as `SYSTEM`

Pull Request - State: closed - Opened by lzaoral about 3 years ago - 1 comment

#398 - tests: fail if UBSAN finds something

Pull Request - State: closed - Opened by lzaoral about 3 years ago - 6 comments
Labels: enhancement

#397 - Update SVF and Catch 2

Pull Request - State: closed - Opened by lzaoral about 3 years ago

#396 - Devel 1

Pull Request - State: closed - Opened by mchalupa over 3 years ago

#395 - Ci fix 2

Pull Request - State: closed - Opened by mchalupa over 3 years ago

#394 - Dockerfile: Update Dockerfile

Pull Request - State: closed - Opened by lzaoral over 3 years ago - 6 comments

#393 - Add missing headers

Pull Request - State: closed - Opened by mchalupa over 3 years ago

#392 - CI: Use the latest stable release of SVF

Pull Request - State: closed - Opened by lzaoral over 3 years ago

#391 - Dose this tool can do parameter slice

Issue - State: open - Opened by Moriarty002 over 3 years ago - 8 comments
Labels: question

#390 - How to slice a variable in a specified function

Issue - State: closed - Opened by Moriarty002 over 3 years ago - 2 comments
Labels: question

#389 - Incompatible function pointer calls

Issue - State: open - Opened by mchalupa over 3 years ago

#388 - Update Catch2 to 2.13.5

Pull Request - State: closed - Opened by lzaoral over 3 years ago - 1 comment

#387 - Fix/Finish RPM packaging

Pull Request - State: closed - Opened by lzaoral over 3 years ago - 1 comment

#386 - Add `.clang-format`

Pull Request - State: closed - Opened by lzaoral over 3 years ago - 2 comments

#385 - Add `.clang-tidy`

Pull Request - State: closed - Opened by lzaoral over 3 years ago - 6 comments

#384 - Simple miss-sliced examples?

Issue - State: open - Opened by FerranAlet over 3 years ago - 3 comments
Labels: question, wontfix

#383 - llvm-slicer says it saves sliced module but doesn't

Issue - State: closed - Opened by FerranAlet over 3 years ago - 3 comments
Labels: bug

#382 - Fuzzer related fixes

Pull Request - State: closed - Opened by lzaoral over 3 years ago

#381 - Fix warnings about unused stuff

Pull Request - State: closed - Opened by lzaoral over 3 years ago

#380 - Refactor silencing pragmas

Pull Request - State: closed - Opened by lzaoral over 3 years ago

#379 - cmake: use CMake to generate git version

Pull Request - State: closed - Opened by lzaoral over 3 years ago

#375 - Add cmd-args test and port everything to `llvm::cl`

Pull Request - State: closed - Opened by lzaoral over 3 years ago - 6 comments

#374 - Various CMake related fixes

Pull Request - State: closed - Opened by lzaoral over 3 years ago - 2 comments

#369 - ValueRelations fails to update constant bound for integers of different bitwidth

Issue - State: closed - Opened by tomsik68 almost 4 years ago - 3 comments
Labels: bug

#366 - CI: Migrate to GitHub Actions

Pull Request - State: closed - Opened by lzaoral almost 4 years ago - 10 comments

#365 - Value relations anlaysis hits an assert

Issue - State: closed - Opened by mchalupa almost 4 years ago - 6 comments
Labels: bug

#354 - How to slice when multiple slice criterions exist in the program?

Issue - State: closed - Opened by u88lx almost 4 years ago - 9 comments
Labels: bug, question, feature request

#338 - Error when building with SVF support

Issue - State: closed - Opened by vwvw about 4 years ago - 12 comments
Labels: bug

#335 - Segmentation fault when slicing cxxfilt in binutils-2.34

Issue - State: open - Opened by yangke about 4 years ago - 14 comments
Labels: bug

#332 - undefined symbol when trying to use the DG library

Issue - State: closed - Opened by tianyishan over 4 years ago - 3 comments

#327 - Support for Fedora Copr

Issue - State: closed - Opened by lzaoral over 4 years ago - 2 comments

#324 - What is the form of slicing criterion in the command？

Issue - State: closed - Opened by zzylol over 4 years ago - 7 comments
Labels: question

#303 - slice a snippet of IR

Issue - State: closed - Opened by coffezhou almost 5 years ago - 2 comments
Labels: question

#300 - llvm-dg-dump: use LLVMDependenceGraphBuilder

Issue - State: closed - Opened by mchalupa almost 5 years ago - 2 comments
Labels: enhancement

#281 - PTA validator: use streams to store output

Pull Request - State: closed - Opened by tomsik68 about 5 years ago - 1 comment

#236 - Pta fixes

Pull Request - State: closed - Opened by mchalupa almost 6 years ago

#144 - catch testing framework?

Issue - State: closed - Opened by tomsik68 over 7 years ago - 4 comments
Labels: enhancement

#138 - Cloning function for accurate pta

Issue - State: open - Opened by hotpeperoncino over 7 years ago - 10 comments
Labels: enhancement, pointer analysis

#100 - Print stack trace on error signal

Pull Request - State: closed - Opened by Justme0 about 8 years ago - 1 comment

#99 - Run crash

Issue - State: closed - Opened by Justme0 about 8 years ago - 8 comments

GitHub / mchalupa/dg issues and pull requests