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

#1108 - Add dumpLLVMType()

Pull Request - State: closed - Opened by xudon9 over 1 year ago - 1 comment

#1107 - Building Failure in Release Mode

Issue - State: closed - Opened by enochii over 1 year ago - 4 comments

#1106 - Inconsistent Results of CFL reachability analysis

Issue - State: open - Opened by enochii over 1 year ago - 1 comment

#1105 - add getSVFBugReport for SrcSnkDDA

Pull Request - State: closed - Opened by sfu2 over 1 year ago - 2 comments

#1104 - Support read access with SVFBugReport on various checkers

Issue - State: closed - Opened by sfu2 over 1 year ago - 1 comment

#1103 - Update collectArrayInfo() and collectStructInfo()

Pull Request - State: closed - Opened by sheisc over 1 year ago - 1 comment

#1102 - Update collectArrayInfo() and collectStructInfo()

Pull Request - State: closed - Opened by sheisc over 1 year ago

#1101 - Make printing `SVFType` independent of LLVM BC

Pull Request - State: closed - Opened by xudon9 over 1 year ago - 1 comment

#1100 - Update LLVMModuleSet::createSVFDataStructure()

Pull Request - State: closed - Opened by sheisc over 1 year ago - 2 comments

#1099 - Update LLVMModuleSet::addSVFTypeInfo()

Pull Request - State: closed - Opened by sheisc over 1 year ago - 1 comment

#1098 - match args of callee and callsite

Pull Request - State: closed - Opened by jumormt over 1 year ago - 1 comment

#1097 - Assertion failed with SVF::VFG::connectCallerAndCallee

Issue - State: closed - Opened by sfu2 over 1 year ago - 5 comments

#1096 - bugevent->svfbugevent

Pull Request - State: closed - Opened by jumormt over 1 year ago - 1 comment

#1095 - About SVFValue's sourceLoc

Issue - State: closed - Opened by xiaoyuwang0 over 1 year ago - 7 comments

#1094 - fix error: no member named 'None' in namespace 'llvm'

Pull Request - State: closed - Opened by joeyjiaojg over 1 year ago

#1093 - tiny improvement

Pull Request - State: open - Opened by joeyjiaojg over 1 year ago - 4 comments

#1092 - llvm-17 compile failure

Issue - State: closed - Opened by joeyjiaojg over 1 year ago - 2 comments

#1091 - Add CallStmt in ExtAPI

Pull Request - State: closed - Opened by shuangxiangkan over 1 year ago - 2 comments

#1090 - fix z3 int overflow

Pull Request - State: closed - Opened by jumormt over 1 year ago

#1089 - Update SVFStmt::classof()

Pull Request - State: closed - Opened by sheisc over 1 year ago - 1 comment

#1088 - MTA module does not detect fork information

Issue - State: closed - Opened by xiaoyuwang0 over 1 year ago - 3 comments

#1087 - Do small crux bc tests even if ASan is used

Pull Request - State: closed - Opened by xudon9 over 1 year ago - 1 comment

#1086 - Delete svfg_final.dot

Pull Request - State: closed - Opened by shuangxiangkan over 1 year ago - 1 comment

#1085 - Fix the unhandled indirect call in parseOperation()

Pull Request - State: closed - Opened by shuangxiangkan over 1 year ago

#1084 - ExtAPI: update unsoundly modeled functions

Pull Request - State: closed - Opened by adriaanjacobs over 1 year ago - 4 comments

#1083 - Update extensible ExtAPI functionality to match new JSON spec

Pull Request - State: closed - Opened by adriaanjacobs over 1 year ago - 1 comment

#1082 - cmake: use paths relative to project source, not cmake top level

Pull Request - State: closed - Opened by adriaanjacobs over 1 year ago - 4 comments

#1081 - Can SVFG option of WPA detect writing operation from snprintf?

Issue - State: open - Opened by UESuperGate over 1 year ago - 2 comments

#1080 - Don't ignore coverage of SVFSystem files

Pull Request - State: closed - Opened by xudon9 over 1 year ago - 1 comment

#1079 - scope-sensitive

Pull Request - State: closed - Opened by jumormt over 1 year ago - 1 comment

#1078 - ExtAPI: dubious handling of some POSIX functions

Issue - State: open - Opened by adriaanjacobs over 1 year ago - 2 comments

#1077 - Does saber support kernel space memory leak detection?

Issue - State: closed - Opened by tr4v3ler over 1 year ago - 2 comments

#1076 - use hash-consed vaddrs id to represent vaddrs

Pull Request - State: closed - Opened by jumormt over 1 year ago - 1 comment

#1075 - Extra information in SVF File system

Pull Request - State: closed - Opened by xudon9 over 1 year ago - 2 comments

#1074 - Question about: Analyzing the Value-Flow of individual variables?

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

#1073 - Update SVFBugReport.cpp

Pull Request - State: closed - Opened by JoelYYoung over 1 year ago - 1 comment

#1072 - remove llvm in handleExtCall()

Pull Request - State: closed - Opened by shuangxiangkan over 1 year ago - 4 comments

#1071 - Assertion `iter!=objSymMap.end() && "obj sym not found"

Issue - State: open - Opened by tregua87 over 1 year ago - 11 comments

#1070 - fix lb widen bug + widen/narrow addrs

Pull Request - State: closed - Opened by jumormt over 1 year ago

#1069 - improve event management

Pull Request - State: closed - Opened by JoelYYoung over 1 year ago - 1 comment

#1068 - Update .codecov.yml

Pull Request - State: closed - Opened by JoelYYoung over 1 year ago

#1067 - Add SVFBugRecoder and modify source loc format

Pull Request - State: closed - Opened by JoelYYoung over 1 year ago - 1 comment

#1066 - SVF build fail

Issue - State: closed - Opened by xiaoyuwang0 over 1 year ago - 2 comments

#1065 - sparse for top-level variables

Pull Request - State: closed - Opened by jumormt over 1 year ago - 1 comment

#1064 - llvm2svf

Pull Request - State: closed - Opened by xudon9 over 1 year ago - 1 comment

#1063 - An intuitive way to convert SVFG node to LLVM Value

Issue - State: open - Opened by jjang3 over 1 year ago - 2 comments

#1062 - Cannot build SVFG with scalar variables anymore

Issue - State: closed - Opened by jjang3 over 1 year ago - 2 comments

#1061 - Some Questions Regarding the Points-to Result

Issue - State: open - Opened by ARISTODE over 1 year ago

#1060 - Update Ubuntu version to 20.04 for GitHub runner

Pull Request - State: closed - Opened by xudon9 over 1 year ago - 1 comment

#1059 - Let SymbolTableInfo manages memory deallocation of StInfo objects

Pull Request - State: closed - Opened by xudon9 over 1 year ago - 1 comment

#1058 - Let `SymbolTableInfo` manages memory deallocation of `StInfo` objects

Pull Request - State: closed - Opened by xudon9 over 1 year ago - 1 comment

#1057 - SVF IR Reader

Pull Request - State: closed - Opened by xudon9 over 1 year ago - 1 comment

#1056 - Only build PAG and VFG for a single function

Issue - State: open - Opened by FloridSleeves over 1 year ago

#1055 - fix VFG dump BranchVFGNode assertion failure bug

Pull Request - State: closed - Opened by Shbinging over 1 year ago - 1 comment

#1054 - BranchVFGNode triggers assertion failure when dumping VFG

Issue - State: closed - Opened by Shbinging over 1 year ago - 2 comments

#1053 - Can I obtain the def-use information of source code variables?

Issue - State: open - Opened by FloridSleeves over 1 year ago - 1 comment

#1051 - Missing header file

Issue - State: closed - Opened by xiaoyuwang0 over 1 year ago - 2 comments

#1050 - Update the callgraph in Steensgaard pointer analysis

Pull Request - State: closed - Opened by timmyyuan over 1 year ago - 1 comment

#1049 - About Static Analysis Course

Issue - State: closed - Opened by xiaoyuwang0 over 1 year ago - 4 comments

#1048 - fix json path

Pull Request - State: closed - Opened by jumormt over 1 year ago

#1047 - fix json path

Pull Request - State: closed - Opened by jumormt over 1 year ago - 1 comment

#1046 - Fix the assertion failure due to funptr_ops API

Pull Request - State: closed - Opened by timmyyuan over 1 year ago - 1 comment

#1045 - Refactoring redundant code in `LLVMModule.cpp`

Pull Request - State: closed - Opened by xudon9 over 1 year ago

#1044 - Homebrew formula

Issue - State: open - Opened by mcandre over 1 year ago - 2 comments

#1043 - fix interval operator typo

Pull Request - State: closed - Opened by jumormt over 1 year ago

#1042 - Add support for unlimited precision intergers

Pull Request - State: closed - Opened by jumormt over 1 year ago - 1 comment

#1040 - Questions about running timeouts

Issue - State: open - Opened by mengjianwei12345 over 1 year ago - 2 comments

#1039 - Abstract Execution

Issue - State: open - Opened by ylya over 1 year ago - 2 comments

#1038 - Fix potential dereference of invalid iterator

Pull Request - State: closed - Opened by xudon9 over 1 year ago - 1 comment

#1037 - Where is the implementation for CRED in ICSE'18?

Issue - State: open - Opened by junwha0511 over 1 year ago - 5 comments

#1036 - Making coding convention consistent

Pull Request - State: closed - Opened by xudon9 over 1 year ago - 1 comment

#1035 - Possible dereference of invalid iterator?

Issue - State: closed - Opened by xudon9 over 1 year ago - 1 comment

#1034 - Plans for opaque pointer support?

Issue - State: open - Opened by xushengj over 1 year ago - 1 comment

#1033 - Report on Pointer Analysis Issues

Issue - State: open - Opened by sherrysun0613 over 1 year ago - 6 comments

#1032 - Undefined BB

Pull Request - State: closed - Opened by jumormt over 1 year ago - 1 comment

#1031 - Connect variadic callees in the call graph

Pull Request - State: closed - Opened by timmyyuan over 1 year ago - 1 comment

#1030 - fix a bug in SVFIR2ItvExeState

Pull Request - State: closed - Opened by bjjwwang over 1 year ago - 1 comment

#1029 - set fldIdx for int type offset

Pull Request - State: closed - Opened by jumormt over 1 year ago

#1028 - How do you analyze the entire project on top of wllvm

Issue - State: open - Opened by BookerShi over 1 year ago - 8 comments

#1027 - fix for redundant loops added to vector llvmloop

Pull Request - State: closed - Opened by bjjwwang over 1 year ago - 1 comment

#1026 - rename + collect all field info

Pull Request - State: closed - Opened by jumormt over 1 year ago - 1 comment

#1025 - add iterator type in locationset

Pull Request - State: closed - Opened by jumormt over 1 year ago - 1 comment

#1024 - Use SVF Var Vec to represent gep offsets

Pull Request - State: closed - Opened by jumormt over 1 year ago - 1 comment

#1023 - Question: how to retrieve LLVMBasicBlock from ICFGNode

Issue - State: closed - Opened by NICE994 over 1 year ago - 1 comment

#1022 - connect offset variable to gep node in vfg

Pull Request - State: closed - Opened by jumormt over 1 year ago - 1 comment

#1021 - fix a bug at getEs()

Pull Request - State: closed - Opened by bjjwwang over 1 year ago

#1020 - global dummy empty set for vaddrs

Pull Request - State: closed - Opened by bjjwwang over 1 year ago - 1 comment

#1019 - Questions about Deadlock detection

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

#1018 - Add an option to open/close cyclic field index arrangement

Pull Request - State: closed - Opened by kisslune almost 2 years ago - 1 comment

#1017 - SVFIR Json Writer

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

#1016 - An option for open/closing cyclic field index assignment

Pull Request - State: closed - Opened by kisslune almost 2 years ago - 1 comment

#1015 - Add an option to trigger cyclic field index annotation

Pull Request - State: closed - Opened by kisslune almost 2 years ago - 1 comment

#1014 - An alternative option for cyclic field index annotation

Pull Request - State: closed - Opened by kisslune almost 2 years ago - 1 comment

#1013 - struct equality in SVF

Issue - State: closed - Opened by tregua87 almost 2 years ago - 4 comments

#1012 - Use `astyle` for formatting temporarily

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

#1011 - Let clang-format auto-format cpp/h files changed since last formatting

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

#1010 - Passing `std::string` by const reference instead of by value

Pull Request - State: closed - Opened by xudon9 almost 2 years ago - 1 comment

#1009 - Replace astyle with clang-format

Pull Request - State: closed - Opened by xudon9 almost 2 years ago - 1 comment

#1005 - add LLVM-14.0.0 support

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