Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / SVF-tools/SVF issues and pull requests

#1596 - Questions about exporting CFL graph files

Issue - State: open - Opened by yuan2li 11 days ago - 1 comment

#1595 - remove casting to intraicfgnode when allocating branch condition

Pull Request - State: closed - Opened by jumormt 13 days ago - 2 comments

#1594 - fix npd issue#1591

Pull Request - State: closed - Opened by jumormt 13 days ago - 2 comments

#1593 - fix CallCHI doc

Pull Request - State: closed - Opened by tttturtle-russ 14 days ago

#1591 - `Saber`: Assertion `Val && "SVFUtil::isa<> used on a null pointer"' failed

Issue - State: closed - Opened by fouzhe 15 days ago - 3 comments

#1589 - Dataflow between a memcpy and a Load is broken in SVFG

Issue - State: open - Opened by TrivikramAT 19 days ago - 1 comment

#1588 - add funcobjvar

Pull Request - State: closed - Opened by jumormt 21 days ago - 2 comments

#1587 - False positive of indirenct call in openssl

Issue - State: open - Opened by Br1m4zz 22 days ago - 3 comments

#1586 - Unable to get SVFFunction by name

Issue - State: open - Opened by pengwinsurf 26 days ago

#1585 - Wrong result of backward slicing

Issue - State: open - Opened by xiaobaozidi 26 days ago

#1580 - Create callgraph

Pull Request - State: closed - Opened by Geoffrey1014 29 days ago - 2 comments

#1579 - rename CallGraph to PTACallGraph

Pull Request - State: closed - Opened by Geoffrey1014 about 1 month ago - 1 comment

#1578 - rename CallGraph to PTACallGraph

Pull Request - State: closed - Opened by Geoffrey1014 about 1 month ago - 1 comment

#1577 - refactor icfgbuilder and remove svfvirtualcallinst class

Pull Request - State: closed - Opened by jumormt about 1 month ago - 1 comment

#1576 - What is the meaning of the output?

Issue - State: open - Opened by tttturtle-russ about 1 month ago

#1575 - remove cast<SVFFunction> in svfcore and refactor ICFGBuilder

Pull Request - State: closed - Opened by jumormt about 1 month ago - 2 comments

#1573 - Question about the time overhead of LLVMModuleSet::buildSymbolTable()

Issue - State: open - Opened by learjet5 about 1 month ago - 7 comments

#1572 - change condition value to svfvar in intracfgedge

Pull Request - State: closed - Opened by jumormt about 1 month ago - 1 comment

#1571 - Prepare for svf var and callgraphnode downcast refactor

Pull Request - State: closed - Opened by jumormt about 2 months ago - 2 comments

#1570 - Callgraph

Pull Request - State: closed - Opened by Geoffrey1014 about 2 months ago - 2 comments

#1569 - Callgraph

Pull Request - State: closed - Opened by Geoffrey1014 about 2 months ago

#1568 - Callgraph

Pull Request - State: closed - Opened by Geoffrey1014 about 2 months ago

#1567 - Is there a way to disable the output?

Issue - State: open - Opened by Lqs66 about 2 months ago - 3 comments

#1566 - move icfg building to llvmmodule

Pull Request - State: closed - Opened by jumormt about 2 months ago - 3 comments

#1565 - Collect Use-Def chain

Issue - State: open - Opened by bao00065 about 2 months ago

#1564 - Issue with SVF-example Compilation – Error in getICFGNode Function

Issue - State: closed - Opened by bao00065 about 2 months ago - 2 comments

#1563 - remove callsite in icfgnode

Pull Request - State: closed - Opened by jumormt about 2 months ago - 2 comments

#1562 - add frontendValueToString

Pull Request - State: closed - Opened by jumormt about 2 months ago - 1 comment

#1561 - remove virtual

Pull Request - State: closed - Opened by jumormt about 2 months ago - 1 comment

#1560 - Callgraph

Pull Request - State: closed - Opened by Geoffrey1014 about 2 months ago - 1 comment

#1559 - remove a redundant statement in setup.sh

Pull Request - State: closed - Opened by Rexxar-Jack-Remar about 2 months ago - 1 comment

#1558 - Refact callgraph

Pull Request - State: closed - Opened by Geoffrey1014 about 2 months ago - 1 comment

#1557 - Refact callgraph

Pull Request - State: closed - Opened by Geoffrey1014 about 2 months ago - 1 comment

#1556 - remove inst in intranode && remove some getCallsite

Pull Request - State: closed - Opened by jumormt about 2 months ago - 1 comment

#1555 - questions about pag and svfg

Issue - State: closed - Opened by yang-guangliang about 2 months ago - 2 comments

#1554 - MTA Does Not Terminate on Large Project

Issue - State: open - Opened by dylanjwolff 2 months ago - 3 comments

#1553 - Hwg merge svf func call graph node

Pull Request - State: closed - Opened by Geoffrey1014 2 months ago - 1 comment

#1552 - Refactor pta

Pull Request - State: closed - Opened by JoelYYoung 2 months ago - 1 comment

#1551 - fix cdg null deref

Pull Request - State: closed - Opened by jumormt 2 months ago - 1 comment

#1550 - Implement on the fly update of call graph respecting forksite

Pull Request - State: closed - Opened by JoelYYoung 2 months ago - 1 comment

#1549 - Crash During Pointer Analysis on Boringssl with WPA

Issue - State: open - Opened by liushengahn 2 months ago - 14 comments

#1548 - Assertion Failure for WPA in Andersen::heapAllocaorViaIndCall

Issue - State: closed - Opened by dylanjwolff 2 months ago - 2 comments

#1547 - Remove SVFInstruction to node maps in ICFG

Pull Request - State: closed - Opened by jumormt 2 months ago - 1 comment

#1546 - fix for assignment

Pull Request - State: closed - Opened by bjjwwang 3 months ago - 1 comment

#1545 - refactor AE, make new module of extapi handler

Pull Request - State: closed - Opened by bjjwwang 3 months ago - 1 comment

#1545 - refactor AE, make new module of extapi handler

Pull Request - State: closed - Opened by bjjwwang 3 months ago - 1 comment

#1544 - Modular Pointer Analysis

Issue - State: closed - Opened by canliture 3 months ago

#1543 - Move ExtAPI annotations to the application

Pull Request - State: closed - Opened by shuangxiangkan 3 months ago - 1 comment

#1543 - Move ExtAPI annotations to the application

Pull Request - State: open - Opened by shuangxiangkan 3 months ago - 1 comment

#1542 - stage 3: fix svf_assert, and make test cases more robust

Pull Request - State: closed - Opened by bjjwwang 3 months ago - 1 comment

#1541 - Nullptr dereference detector

Pull Request - State: open - Opened by ethanLin520 3 months ago

#1540 - memory leak report format

Issue - State: closed - Opened by puzhuoliu 3 months ago - 2 comments

#1540 - memory leak report format

Issue - State: closed - Opened by puzhuoliu 3 months ago - 2 comments

#1538 - remove svfinstruction in isheapalloc

Pull Request - State: closed - Opened by jumormt 3 months ago - 1 comment

#1538 - remove svfinstruction in isheapalloc

Pull Request - State: closed - Opened by jumormt 3 months ago - 1 comment

#1537 - Remove getCallee in AE

Pull Request - State: closed - Opened by yuleisui 3 months ago - 1 comment

#1537 - Remove getCallee in AE

Pull Request - State: closed - Opened by yuleisui 3 months ago - 1 comment

#1536 - Hwg change SVFFunction to CallGraphNode in AE

Pull Request - State: closed - Opened by Geoffrey1014 3 months ago

#1536 - Hwg change SVFFunction to CallGraphNode in AE

Pull Request - State: open - Opened by Geoffrey1014 3 months ago

#1535 - Remove CallSite : stage 1

Pull Request - State: closed - Opened by yuleisui 3 months ago - 1 comment

#1535 - Remove CallSite : stage 1

Pull Request - State: closed - Opened by yuleisui 3 months ago - 1 comment

#1534 - Refactoring SVFInstruction: stage 7

Pull Request - State: closed - Opened by yuleisui 3 months ago - 1 comment

#1533 - refactor extAPIMap

Pull Request - State: closed - Opened by bjjwwang 3 months ago - 1 comment

#1533 - refactor extAPIMap

Pull Request - State: closed - Opened by bjjwwang 3 months ago - 1 comment

#1532 - Refactoring SVFInstruction: stage 6

Pull Request - State: closed - Opened by yuleisui 3 months ago - 1 comment

#1532 - Refactoring SVFInstruction: stage 6

Pull Request - State: closed - Opened by yuleisui 3 months ago - 1 comment

#1531 - Stage2 : refactor buffer overflow

Pull Request - State: closed - Opened by bjjwwang 3 months ago - 1 comment

#1531 - Stage2 : refactor buffer overflow

Pull Request - State: closed - Opened by bjjwwang 3 months ago - 1 comment

#1530 - Clang formatter and a workflow for checking

Pull Request - State: open - Opened by cubicYYY 3 months ago - 6 comments

#1529 - add icfgnodelist field in basic block

Pull Request - State: closed - Opened by jumormt 3 months ago - 1 comment

#1528 - refactor SVFInstruction stage 5

Pull Request - State: closed - Opened by yuleisui 3 months ago - 1 comment

#1527 - Refactor SVFInstruction in MTA

Pull Request - State: closed - Opened by yuleisui 3 months ago - 1 comment

#1526 - rename PTACallGraph->CallGraph

Pull Request - State: closed - Opened by yuleisui 3 months ago - 1 comment

#1525 - Problematic Path-condition Solving.

Issue - State: open - Opened by DesNevermore 3 months ago

#1524 - Clang formatter for all source codes

Pull Request - State: closed - Opened by cubicYYY 3 months ago - 3 comments

#1523 - step1: remove preAbstrace and use use a temporary state to collect st…

Pull Request - State: closed - Opened by jumormt 3 months ago - 1 comment

#1522 - Extensibility improvements for `PointsTo` data structures

Pull Request - State: closed - Opened by cubicYYY 3 months ago - 6 comments

#1521 - fixed enum types of GenericBug implementations

Pull Request - State: closed - Opened by mxHuber 3 months ago - 1 comment

#1519 - Stage1 : move Ass3 to SVF

Pull Request - State: closed - Opened by bjjwwang 3 months ago - 1 comment

#1518 - Assertion failed if `-cluster-fs` is enabled

Issue - State: open - Opened by cubicYYY 3 months ago

#1517 - Fix handling of llvm intrinsic instruction PCG.cpp

Pull Request - State: closed - Opened by JoelYYoung 3 months ago - 1 comment

#1516 - Is it possible to use parsed CLI args with `Options` in Util headers?

Issue - State: closed - Opened by cubicYYY 3 months ago - 3 comments

#1515 - upgrade codecov version

Pull Request - State: closed - Opened by JasonZhongZexin 3 months ago - 1 comment

#1514 - fix obj type inference for c++ indirect call in constructors

Pull Request - State: closed - Opened by jumormt 3 months ago

#1513 - fix a compile bug in ubuntu

Pull Request - State: closed - Opened by bjjwwang 3 months ago

#1512 - Try to call compiler built-in functions in `countTrailingZeros`

Pull Request - State: closed - Opened by cubicYYY 3 months ago

#1511 - 1

Pull Request - State: open - Opened by ApricityXX 3 months ago

#1510 - Refactor IntervalValue

Pull Request - State: closed - Opened by bjjwwang 4 months ago

#1509 - [WIP] add binaryOp test in SVF-EX

Pull Request - State: closed - Opened by bjjwwang 4 months ago

#1508 - Fix bit wise operator for bounded double

Pull Request - State: closed - Opened by jumormt 4 months ago