mchalupa/dg issues and pull requests

#98 - unify control dependencies in BBlocks

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

#97 - Compilation problems fixed

Pull Request - State: closed - Opened by xlauko about 8 years ago - 2 comments

#96 - make failed

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

#95 - imprecision in control dependencies

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

#94 - add support for extractvalue, insertvalue

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

#93 - -debug with old analyses crash

Issue - State: closed - Opened by mchalupa over 8 years ago - 1 comment
Labels: bug

#92 - old analyses bug

Issue - State: closed - Opened by mchalupa over 8 years ago - 1 comment
Labels: bug

#91 - add timeout option

Issue - State: closed - Opened by mchalupa over 8 years ago - 1 comment

#90 - try other implementation of MemoryObject

Issue - State: open - Opened by mchalupa over 8 years ago
Labels: enhancement

#89 - add support for CI

Issue - State: closed - Opened by mchalupa over 8 years ago
Labels: enhancement

#88 - gather better statistics

Issue - State: closed - Opened by mchalupa over 8 years ago - 1 comment
Labels: enhancement

#87 - refactor tools

Issue - State: closed - Opened by mchalupa over 8 years ago

#86 - make slicing context sensitive precise

Issue - State: open - Opened by mchalupa over 8 years ago - 3 comments
Labels: enhancement

#85 - make RD more efficient

Issue - State: closed - Opened by mchalupa over 8 years ago
Labels: enhancement

#84 - add documentation

Issue - State: closed - Opened by mchalupa over 8 years ago - 1 comment
Labels: bug

#83 - add tests

Issue - State: closed - Opened by mchalupa over 8 years ago - 8 comments
Labels: enhancement

#82 - imprecision in new pta analyses

Issue - State: closed - Opened by mchalupa over 8 years ago - 4 comments

#81 - PTA fs does not reach fixpoint

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

#80 - PSS: handle arithmetic after ptrToInt

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

#79 - make better directory hierarchy

Issue - State: closed - Opened by mchalupa over 8 years ago

#78 - imprecision in PTA function pointer call

Issue - State: open - Opened by mchalupa over 8 years ago
Labels: pointer analysis

#77 - factor out common code from RD and PS

Issue - State: closed - Opened by mchalupa over 8 years ago - 2 comments
Labels: enhancement

#76 - add tests for unknown offset

Issue - State: closed - Opened by mchalupa over 8 years ago - 1 comment

#75 - remove const from LLVMNode KeyT

Issue - State: closed - Opened by mchalupa over 8 years ago

#74 - make makeGraphComplete generic

Issue - State: closed - Opened by mchalupa over 8 years ago - 1 comment
Labels: enhancement

#73 - bblocks self-loops

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

#72 - slice global nodes

Issue - State: closed - Opened by mchalupa over 8 years ago - 1 comment

#71 - bug in control dependencies

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

#70 - enhance DG2Dot

Issue - State: closed - Opened by mchalupa over 8 years ago - 3 comments
Labels: enhancement

#69 - get rid of leaks

Issue - State: closed - Opened by mchalupa over 8 years ago - 1 comment

#68 - make slicing PHI nodes more precise

Issue - State: closed - Opened by mchalupa over 8 years ago - 1 comment
Labels: enhancement

#67 - phi3 test is failing

Issue - State: closed - Opened by mchalupa over 8 years ago - 1 comment
Labels: bug

#66 - bug in reconnecting basic blocks (minepump.c)

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

#65 - Create simple tutorial

Issue - State: closed - Opened by msoos over 8 years ago - 3 comments

#64 - Fix bug when function is empty; ensureEntryBlock produces an exception

Pull Request - State: closed - Opened by pablo-aledo over 8 years ago - 1 comment

#63 - handle unreachable better

Issue - State: closed - Opened by mchalupa over 8 years ago - 2 comments
Labels: enhancement

#62 - implement lazy LLVM DG building

Issue - State: open - Opened by mchalupa almost 9 years ago - 1 comment
Labels: feature request

#61 - implement better control dependencies algorithm

Issue - State: closed - Opened by mchalupa almost 9 years ago - 3 comments
Labels: enhancement

#60 - bug in points-to: criterion not found (maybe in instrumentation)

Issue - State: closed - Opened by mchalupa almost 9 years ago - 1 comment

#59 - add support for select inst

Issue - State: closed - Opened by mchalupa almost 9 years ago - 1 comment

#58 - slicer fails on wayland's loop-test

Issue - State: closed - Opened by mchalupa almost 9 years ago - 1 comment
Labels: bug

#57 - slicer failures (with optimizations before)

Issue - State: closed - Opened by mchalupa almost 9 years ago - 1 comment
Labels: bug

#56 - points-to bug

Issue - State: closed - Opened by mchalupa almost 9 years ago - 1 comment
Labels: bug

#55 - slicer bug

Issue - State: closed - Opened by mchalupa almost 9 years ago - 1 comment
Labels: bug

#54 - make points-to analysis use types

Issue - State: closed - Opened by mchalupa almost 9 years ago - 2 comments
Labels: enhancement, pointer analysis

#53 - loading from null should result in unknown pointer

Issue - State: open - Opened by mchalupa almost 9 years ago - 2 comments
Labels: bug, pointer analysis

#52 - slicer: add tests for null handling

Issue - State: closed - Opened by mchalupa almost 9 years ago - 1 comment

#51 - points-to: simplify Pointer::isKnown()

Issue - State: closed - Opened by mchalupa almost 9 years ago - 1 comment

#50 - points-to: handle arguments of main

Issue - State: closed - Opened by mchalupa almost 9 years ago - 1 comment

#49 - points-to: does not handle negative offsets

Issue - State: closed - Opened by mchalupa almost 9 years ago - 2 comments

#48 - def-use: use new functions

Issue - State: closed - Opened by mchalupa almost 9 years ago - 1 comment
Labels: enhancement

#47 - make slicing more precise

Issue - State: closed - Opened by mchalupa almost 9 years ago
Labels: enhancement

#46 - Use offset ranges in reaching-defs

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

#45 - Make points-to analysis back-end independent

Issue - State: closed - Opened by mchalupa almost 9 years ago - 1 comment
Labels: enhancement

#44 - Cannot handle indefinite loops

Issue - State: closed - Opened by mchalupa almost 9 years ago - 1 comment
Labels: bug

#43 - slicer fails due to intrinsic functions

Issue - State: closed - Opened by mchalupa about 9 years ago
Labels: bug

#42 - filter command: fix parsing id's

Issue - State: closed - Opened by mchalupa about 9 years ago - 1 comment
Labels: wontfix

#41 - split def-use computing into standalone analysis

Issue - State: closed - Opened by mchalupa about 9 years ago
Labels: enhancement

#40 - undefined functions taking parameters are buggy

Issue - State: closed - Opened by mchalupa about 9 years ago
Labels: bug

#39 - bug in adding parameter globals

Issue - State: closed - Opened by mchalupa about 9 years ago - 2 comments
Labels: bug

#38 - fix offsets on 32-bit bitcode

Issue - State: closed - Opened by mchalupa about 9 years ago
Labels: bug

#37 - call via unknown pointer is unsound

Issue - State: open - Opened by mchalupa about 9 years ago
Labels: bug, pointer analysis

#36 - make return node a parameter of func

Issue - State: closed - Opened by mchalupa about 9 years ago - 1 comment
Labels: bug

#35 - slicer fails on this code: we must add globals even as input-parameters

Issue - State: closed - Opened by mchalupa about 9 years ago
Labels: bug

#34 - if we let an instruction in the function, we should keep entry node

Issue - State: closed - Opened by mchalupa about 9 years ago
Labels: bug

#33 - get rid of memory leaks

Issue - State: closed - Opened by mchalupa about 9 years ago - 2 comments
Labels: bug

#32 - handle malloc carefully

Issue - State: closed - Opened by mchalupa about 9 years ago
Labels: bug

#31 - llvm post-dominators: we always create new root

Issue - State: closed - Opened by mchalupa about 9 years ago - 1 comment
Labels: bug

#30 - DGParams contains garbage (re-opened: add tests)

Issue - State: closed - Opened by mchalupa about 9 years ago - 1 comment
Labels: bug

#29 - check if we handle bitcast correctly

Issue - State: closed - Opened by mchalupa about 9 years ago - 2 comments
Labels: bug

#28 - If we slice away a BB, other BBs still have refrences to it

Issue - State: open - Opened by mchalupa about 9 years ago - 1 comment
Labels: bug

#27 - refactor: move and rename EdgesContainer

Issue - State: closed - Opened by mchalupa about 9 years ago
Labels: enhancement

#26 - rename Node::getBasicBlock() to getBBlock()

Issue - State: closed - Opened by mchalupa about 9 years ago
Labels: bug

#25 - bug in computing control dependences

Issue - State: closed - Opened by mchalupa about 9 years ago
Labels: bug

#24 - cannot run NodesWalk nested

Issue - State: closed - Opened by mchalupa about 9 years ago - 2 comments
Labels: bug

#23 - refactor whole parameter stuff

Issue - State: closed - Opened by mchalupa about 9 years ago - 1 comment
Labels: bug

#22 - unify add/setParameters

Issue - State: closed - Opened by mchalupa about 9 years ago

#21 - bug in slicing away entry BB

Issue - State: open - Opened by mchalupa about 9 years ago
Labels: bug

#20 - handle function pointers

Issue - State: closed - Opened by mchalupa about 9 years ago - 1 comment
Labels: bug

#19 - review unknown pointers

Issue - State: closed - Opened by mchalupa about 9 years ago
Labels: bug

#18 - handle intrinsic functions

Issue - State: closed - Opened by mchalupa about 9 years ago
Labels: bug

#17 - def-use: StoreInst has a bug

Issue - State: closed - Opened by mchalupa about 9 years ago
Labels: bug

#16 - points-to: global arrays initialization is not implemented

Issue - State: closed - Opened by mchalupa about 9 years ago - 1 comment
Labels: bug

#15 - TODO

Issue - State: closed - Opened by mchalupa about 9 years ago - 1 comment

#14 - points-to: undefined values are ignored by points-to

Issue - State: closed - Opened by mchalupa about 9 years ago - 2 comments
Labels: bug

#13 - do not use the fuc*ing auto all the time and everywhere

Issue - State: closed - Opened by mchalupa about 9 years ago
Labels: bug

#12 - DG2Dot: it can break compilation

Issue - State: closed - Opened by mchalupa about 9 years ago
Labels: bug

#11 - store params in an array/vector

Issue - State: closed - Opened by mchalupa about 9 years ago - 1 comment

#10 - DFS looks like BFS

Issue - State: closed - Opened by mchalupa about 9 years ago
Labels: bug

#9 - DFS does not go over CFG edges

Issue - State: closed - Opened by mchalupa about 9 years ago
Labels: bug

#8 - add ability to build DG (CFG) from the bottom

Issue - State: closed - Opened by mchalupa about 9 years ago - 1 comment
Labels: enhancement

#7 - add tests

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

#6 - fix #include

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

#5 - add DFSRunner

Issue - State: closed - Opened by mchalupa over 9 years ago - 1 comment
Labels: bug, enhancement

#4 - implement test-suite

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

#3 - add DependenceGraph generic inteface

Issue - State: closed - Opened by mchalupa over 9 years ago - 1 comment
Labels: enhancement, invalid

#2 - add dependence and control iterator

Issue - State: closed - Opened by mchalupa over 9 years ago - 1 comment
Labels: enhancement

#1 - llvm: rename LLVMDependenceGraph to llvmdg::DependenceGraph

Issue - State: closed - Opened by mchalupa over 9 years ago
Labels: enhancement

GitHub / mchalupa/dg issues and pull requests