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

#1208 - dot graph generation: limit label lengths

Issue - State: open - Opened by 251 about 1 year ago - 1 comment

#1207 - Add filesystem read/write in SVFLoopAndDoom

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

#1206 - compilation/installation issues

Issue - State: closed - Opened by 251 about 1 year ago - 14 comments

#1205 - Add Filesystem read/write for new fields introduced by Pull 1203

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

#1204 - Remove redundant functions, annotations and global variables introduc…

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

#1203 - Add control dependence and ICFG Wrapper

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

#1202 - about slicing

Issue - State: open - Opened by woshizhuchenguang about 1 year ago - 3 comments

#1201 - As a SVF newcomer, I encountered problems while running the tutorial.

Issue - State: closed - Opened by liushengahn about 1 year ago - 3 comments

#1199 - fix incorrect iterator comparision

Pull Request - State: closed - Opened by canliture about 1 year ago

#1198 - Question: Determine if a `GepObjVar` has a constant field index

Issue - State: open - Opened by r-tamura-intern about 1 year ago - 5 comments

#1197 - Support for indirect call

Issue - State: closed - Opened by llooFlashooll about 1 year ago - 3 comments

#1196 - 0822 wip

Pull Request - State: closed - Opened by JasonZhongZexin about 1 year ago - 1 comment

#1195 - replace int64 with s64 in IntervalValue/Z3Expr

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

#1194 - Suspected false positive in saber

Issue - State: open - Opened by tianxinghe about 1 year ago - 7 comments

#1192 - add reshapeValue() to getOffsetfromGepPair

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

#1191 - fix a bug that leads to get many incorrect switch target case value -1

Pull Request - State: closed - Opened by canliture about 1 year ago - 7 comments

#1190 - The context DDA analysis becomes field insensitive in some situations.

Issue - State: closed - Opened by Luweicai about 1 year ago - 12 comments

#1189 - Connect global edges when analyzing libraries as well

Issue - State: closed - Opened by timmyyuan about 1 year ago - 6 comments

#1188 - Remove "STATIC" annotation in extapi.bc

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

#1187 - SVFG issue: Missing OutEdge ?

Issue - State: closed - Opened by van-ema about 1 year ago - 4 comments

#1186 - ExtAPI: questions about new format

Issue - State: open - Opened by adriaanjacobs about 1 year ago - 21 comments

#1185 - Add comments to some APIs in SVFIRExtAPI.cpp

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

#1184 - fix getgepoffset and accumulateconstantOffset

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

#1183 - Fix the bug of failing to find extapi.bc in npm

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

#1182 - How to use Alias Analysis?

Issue - State: closed - Opened by UNI20171384 about 1 year ago - 2 comments

#1181 - ExtractValue / InsertValue

Issue - State: closed - Opened by UNI20171384 about 1 year ago - 2 comments

#1180 - AddressSanitizer + struct allocated on stack with function pointer field

Issue - State: open - Opened by acidghost about 1 year ago - 9 comments

#1179 - fix a nullptr dereference error

Pull Request - State: closed - Opened by canliture about 1 year ago - 1 comment

#1178 - issues with location in the defect report

Issue - State: closed - Opened by tianxinghe about 1 year ago - 2 comments

#1177 - fix a bug in computeConstantOffset

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

#1176 - Plan to upgrade to LLVM 14/15?

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

#1175 - remove duplicate/useless enum field 'FunRet'

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

#1174 - ExtAPI refactor

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

#1173 - custom point to analysis

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

#1172 - fix read and write to file err

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

#1171 - fix read and write to file err

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

#1170 - support main() decl in ext.bc and main() def in app.bc().

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

#1169 - Remove “__attribute__((annotate("SVF")))” from extapi.c

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

#1168 - Put the extapi.c into the svf-llvm/lib/

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

#1166 - FlowSensitive analysis do not recolve indirect jumps.

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

#1164 - Spelling Fixes

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

#1163 - Support non-throwing C++ `new` functions in ExtAPI

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

#1162 - Does the latest SVF not support the array-sensitive pointer analysis?

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

#1161 - How to get a Forked Function

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

#1160 - fix typo

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

#1159 - The way to get PAG node from instruction

Issue - State: closed - Opened by UNI20171384 over 1 year ago - 6 comments

#1158 - cfl graphbuilder update

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

#1157 - Replace ExAPI.json with extapi.c, using attributes to represent some …

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

#1156 - fix bitvec err for sse

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

#1155 - fix issue 1139

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

#1154 - SVF can be implemented in LLVM Pass ?

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

#1153 - fix issue #1139

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

#1152 - Evaluate Profile-Guided Optimization (PGO)

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

#1151 - How to understand allocateForBB

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

#1150 - Use extapi.bc to replace ExtAPI.json

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

#1149 - GetPts and GetRevPts

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

#1148 - Nullptr2

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

#1147 - Fix bug in inst2LabelMap handling

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

#1146 - Let `toString()` calls LLVM functions on demand

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

#1145 - SVFVar can only have unique definition

Issue - State: closed - Opened by zu1k over 1 year ago - 10 comments

#1144 - buildSVFModule performance issue on version > 2.4

Issue - State: closed - Opened by zu1k over 1 year ago - 21 comments

#1143 - Update SrcSnkSolver.h

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

#1142 - value flow path

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

#1141 - Replace extapi.json with extapi.bc

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

#1140 - collect removed functions and erase it from Modules.

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

#1139 - dump and restore point-to analysis

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

#1138 - multiple module, and temp remove default extapi bc

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

#1137 - Revert "Merge pull request #1136 from xudon9/master"

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

#1136 - Check code style upon PR creation

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

#1135 - SVF with rust analyzing

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

#1134 - SVFInstruction to llvm:Instruction

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

#1133 - Add a field of `StInfo` missed by FileSystem

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

#1132 - [WIP] 0618

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

#1131 - Avoid repetitive checks in `LLVMUtil::isObject()`

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

#1130 - add 2 bug types for null ptr dereference check

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

#1129 - update doxygen path

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

#1128 - Add debug output functions for `SVFValue`

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

#1126 - fix comment description error in ICFGNode.h

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

#1125 - Up to date documentation?

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

#1124 - feat: handle ifunc

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

#1123 - simplify z3expr in AND/OR/NEG/eq

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

#1122 - Making naming consistent with type

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

#1121 - Assertion failure on ifunc

Issue - State: closed - Opened by acidghost over 1 year ago - 8 comments

#1120 - Use s32_t offset and remove LocationSet during pointer analysis

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

#1118 - Assertion failure on files with external function with mismatched signature

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

#1117 - CFL Module Renew 1

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

#1116 - fix: support programs built w/ ASan (#1114)

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

#1115 - Add CallStmt in ExtAPI

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

#1114 - Support for C++ virtual methods with AddressSanitizer

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

#1113 - update library for type state to svf

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

#1112 - update library for type state to svf

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

#1111 - Allow .ll extension when doing llvm BC to SVF-IR conversion

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

#1110 - fix bitvector overflow and add option for maximum bitvector len

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

#1109 - add an abstract execution library

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