SVF-tools/SVF issues and pull requests

#1659 - remove svfconstant and svfcall

Pull Request - State: open - Opened by jumormt 1 day ago - 1 comment

#1658 - How to get back the Instructions from the SVF Node IDs ,

Issue - State: open - Opened by NeyagapulaSiddhartha 2 days ago - 3 comments

#1657 - Question about processing GEPs with negative offsets

Issue - State: open - Opened by ArtisticFantasy 4 days ago - 2 comments

#1656 - fix build.sh to support shared lib and llvm RTTI

Pull Request - State: closed - Opened by bjjwwang 4 days ago - 1 comment

#1655 - remove svfconstantint,fp,null

Pull Request - State: closed - Opened by jumormt 6 days ago

#1654 - 2.11.2

Pull Request - State: closed - Opened by jumormt 7 days ago - 1 comment

#1653 - Question about memory leak detection

Issue - State: open - Opened by Fghj0123 7 days ago

#1652 - fix getbasevalueforextarg

Pull Request - State: open - Opened by jumormt 7 days ago - 6 comments

#1651 - remove svfmodule and value in svfcore

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

#1650 - An issue with global objects

Issue - State: open - Opened by Frankenween 11 days ago - 10 comments

#1649 - svffunction -> funobjvar

Pull Request - State: closed - Opened by jumormt 12 days ago - 3 comments

#1648 - rename ptacallgraph to callgraph

Pull Request - State: closed - Opened by jumormt 15 days ago - 1 comment

#1647 - remove callgraph

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

#1646 - remove all SVFFunction in svf

Pull Request - State: open - Opened by Geoffrey1014 17 days ago - 3 comments

#1645 - simplify PR 1640

Pull Request - State: closed - Opened by bjjwwang 18 days ago - 4 comments

#1644 - svfargument->argvalvar

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

#1643 - move svfvalue in irgraph to llvmmodule

Pull Request - State: closed - Opened by jumormt 18 days ago - 3 comments

#1642 - move symboltableinfo to irgraph

Pull Request - State: closed - Opened by jumormt 20 days ago - 4 comments

#1641 - remove some svfvalue in svfcore

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

#1640 - fix incorrect implementation of getting CallGraphSCCRevTopoOrder

Pull Request - State: closed - Opened by canliture 23 days ago - 16 comments

#1639 - add SVFBasicBlock. BasicBlockEdge, Graph

Pull Request - State: closed - Opened by bjjwwang 25 days ago - 3 comments

#1638 - remove SVFFileSystem

Pull Request - State: closed - Opened by bjjwwang 26 days ago - 1 comment

#1637 - create BasicBlockGraph/Node/Edge and some related changes

Pull Request - State: closed - Opened by bjjwwang 26 days ago

#1636 - remove value in svfvar

Pull Request - State: closed - Opened by jumormt 27 days ago - 4 comments

#1635 - remove some getvalue/hasvalue

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

#1634 - [WIP] refactor svfbasenode

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

#1633 - remove gnode in base object

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

#1632 - saber -leak memory report problem

Issue - State: open - Opened by jiejiaodedengdai about 1 month ago - 1 comment

#1631 - remove MemObj in SVFIR

Pull Request - State: closed - Opened by bjjwwang about 1 month ago - 3 comments

#1630 - Command terminated by signal 6: terminate called after throwing an instance of 'std::bad_alloc'

Issue - State: open - Opened by Rexxar-Jack-Remar about 1 month ago - 1 comment

#1629 - Command terminated by signal 6: terminate called after throwing an instance of 'St9bad_alloc'

Issue - State: open - Opened by Rexxar-Jack-Remar about 1 month ago

#1628 - make basic block the base class

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

#1627 - change position of param to make it more logical

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

#1626 - add argvalvar

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

#1625 - remove svfvalue in pagedge and svfg

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

#1624 - fix a bug of int128

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

#1623 - Assertion `getActiveBits() <= 64 && "Too many bits for uint64_t"' failed

Issue - State: open - Opened by Rexxar-Jack-Remar about 1 month ago - 4 comments

#1622 - Flow sensitivity does not work for indirect function call resolution

Issue - State: open - Opened by TrivikramAT about 1 month ago - 6 comments

#1621 - refactor Global/Constant Val/Obj

Pull Request - State: closed - Opened by bjjwwang about 1 month ago - 3 comments

#1620 - When building the latest version of SVF, compiler threw some errors:

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

#1619 - add process unreachable bbs

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

#1618 - Command terminated by signal 6: Assertion `visited.count(&inst) && "inst never visited"' failed.

Issue - State: open - Opened by Rexxar-Jack-Remar about 2 months ago - 2 comments

#1617 - Remove regex in CFGNormalizer

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

#1616 - Add "ALLOC_STACK_RET" annotation in extapi.c

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

#1615 - use ubuntu latest

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

#1614 - 12.19fix

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

#1611 - add value back for heap/stack/fun

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

#1610 - Question about modeling of system api like getpwuid

Issue - State: open - Opened by for-just-we 2 months ago - 5 comments

#1609 - Command terminated by signal 6

Issue - State: open - Opened by Rexxar-Jack-Remar 2 months ago - 3 comments

#1608 - add heap and stack obj var and fix CI

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

#1607 - Incorrect callback resolution in pointer analysis

Issue - State: closed - Opened by Frankenween 2 months ago - 6 comments

#1606 - copy all fields of SVFFunction into CallGraphNode

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

#1605 - refactor icfgbuilder

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

#1604 - remove SVFFunction in AbstractInterpretation.h

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

#1603 - remove SVFFunction

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

#1602 - first commit of ConstantVal/Obj

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

#1601 - fix using getvalue when dumping constraintgraph

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

#1600 - New commit introduces problem.

Issue - State: closed - Opened by Mem2019 3 months ago - 1 comment

#1599 - Take long long time when analyzing by Anderson

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

#1598 - add funcvar

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

#1597 - Example program for feeding VFG back into PointerAnalysis?

Issue - State: open - Opened by TrivikramAT 3 months ago - 1 comment

#1596 - Questions about exporting CFL graph files

Issue - State: open - Opened by yuan2li 3 months ago - 1 comment

#1595 - remove casting to intraicfgnode when allocating branch condition

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

#1594 - fix npd issue#1591

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

#1593 - fix CallCHI doc

Pull Request - State: closed - Opened by tttturtle-russ 3 months ago

#1592 - `Saber`: Assertion `SVFUtil::isa<X>(Val) && "cast<Ty>() argument of incompatible type!"' failed.

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

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

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

#1590 - Basic C++ inheritance test in PTABen does not match expected behavior for DVF or WPA -ander

Issue - State: open - Opened by mlevatich 3 months ago - 1 comment

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

Issue - State: open - Opened by TrivikramAT 3 months ago - 1 comment

#1588 - add funcobjvar

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

#1587 - False positive of indirenct call in openssl

Issue - State: open - Opened by Br1m4zz 4 months ago - 3 comments

#1586 - Unable to get SVFFunction by name

Issue - State: open - Opened by pengwinsurf 4 months ago

#1585 - Wrong result of backward slicing

Issue - State: open - Opened by xiaobaozidi 4 months ago

#1584 - Unknown reason for a simple false positive and inconsistent flag behavior

Issue - State: open - Opened by grandnew 4 months ago

#1583 - Can DVF's flow sensitive points-to analysis give me the results at a given program statement?

Issue - State: open - Opened by taptipalit 4 months ago

#1582 - How to get llvm::Function and llvm::BasicBlock in SVF-2.7?

Issue - State: open - Opened by Shrimpig 4 months ago

#1581 - How to check if a constant value flows into a variable using source-sink checker?

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

#1580 - Create callgraph

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

#1579 - rename CallGraph to PTACallGraph

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

#1578 - rename CallGraph to PTACallGraph

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

#1577 - refactor icfgbuilder and remove svfvirtualcallinst class

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

#1576 - What is the meaning of the output?

Issue - State: closed - Opened by tttturtle-russ 4 months ago

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

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

#1574 - const: Assertion `it!=LLVMInst2SVFInst.end() && "SVF Instruction not found!"' failed

Issue - State: closed - Opened by xiaobaozidi 4 months ago - 8 comments

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

Issue - State: open - Opened by learjet5 4 months ago - 7 comments

#1572 - change condition value to svfvar in intracfgedge

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

#1571 - Prepare for svf var and callgraphnode downcast refactor

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

#1570 - Callgraph

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

#1569 - Callgraph

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

#1568 - Callgraph

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

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

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

#1566 - move icfg building to llvmmodule

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

#1565 - Collect Use-Def chain

Issue - State: open - Opened by bao00065 4 months ago

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

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

#1563 - remove callsite in icfgnode

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

#1562 - add frontendValueToString

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

#1561 - remove virtual

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

#1560 - Callgraph

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

#1559 - remove a redundant statement in setup.sh

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

#1558 - Refact callgraph

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

GitHub / SVF-tools/SVF issues and pull requests