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

#1306 - Question: the path of SVFG for branches

Issue - State: open - Opened by ZcoderL 11 months ago - 6 comments

#1305 - Modernise CMake script

Pull Request - State: closed - Opened by Johanmyst 11 months ago - 15 comments

#1304 - opaque pointer stage 2-1

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

#1303 - make the pointee type related to gep more robust

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

#1302 - bugfix in AndersenPWC

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

#1301 - SVF seems to be incomplete when dealing with virtual calls.

Issue - State: open - Opened by Lqs66 11 months ago - 23 comments
Labels: cpp-issue

#1300 - bugfix: check return value of getenv

Pull Request - State: closed - Opened by sinotca529 11 months ago - 1 comment

#1299 - getFilePath in ExtAPI.cpp will cause segmentation fault.

Issue - State: closed - Opened by sinotca529 11 months ago - 2 comments

#1298 - Why does the --vcall-cha option not work when generating icfg?

Issue - State: open - Opened by Lqs66 11 months ago - 9 comments
Labels: cpp-issue

#1297 - infer object type in "createObjTypeInfo" instead of "analyzeHeapObjType"

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

#1296 - [WIP] remove getPtrElement

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

#1295 - remove some opaque pointer dependencies

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

#1293 - consider multiple uses of heap object

Pull Request - State: closed - Opened by Qcloud1223 11 months ago - 1 comment

#1292 - Get LLVMContext instance directly from `llvm::Module` when building SVFModule

Pull Request - State: closed - Opened by Johanmyst 11 months ago - 5 comments

#1291 - Add `-fno-rtti`/`fno-exceptions` based on LLVM's configuration

Pull Request - State: closed - Opened by Johanmyst 11 months ago - 7 comments

#1290 - infer number of fields of a heap object

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

#1289 - Heap allocated structure has unexpected element number

Issue - State: closed - Opened by Qcloud1223 11 months ago - 7 comments

#1288 - Get FormalParm for FormalIN nodes in SVFG

Issue - State: closed - Opened by Qcloud1223 11 months ago - 4 comments

#1287 - add symbolic abstraction

Pull Request - State: closed - Opened by jiawei-95 11 months ago - 1 comment

#1286 - add RSA

Pull Request - State: closed - Opened by jiawei-95 11 months ago - 1 comment

#1285 - Fix matching parameters and return values for "OVERWRITE" functions a…

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

#1284 - fix extapi.c and ExtAPI.cpp

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

#1283 - refactor extapi

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

#1282 - (fix issue #1279) connect actual to formal vfgnode for full svfg

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

#1281 - Break when app and extapi module have a match

Pull Request - State: closed - Opened by Qcloud1223 12 months ago - 6 comments

#1280 - merge the isStrongUpdate in to SVFUtil

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

#1278 - How does SVF handle forced type conversions for functions as arguments

Issue - State: open - Opened by Ehu1 12 months ago - 2 comments

#1277 - Using extapi to overwrite C++ functions

Issue - State: closed - Opened by Qcloud1223 12 months ago - 10 comments

#1276 - fix bug json report to build better statistic

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

#1275 - Build CFBasicBlockG based on SVFBasicBlocks rather than ICFG

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

#1274 - Update ExtAPI.h

Pull Request - State: closed - Opened by guanqin-123 12 months ago - 2 comments

#1273 - fix CFBBGbuilder bug

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

#1272 - fix offset>=so.size() assertion

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

#1271 - rename sourceElementType, fix computeConstantOffset bug

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

#1270 - How to know whether the current pointer points to some global variable?

Issue - State: open - Opened by yuffon 12 months ago - 2 comments

#1269 - add source element type in accesspath

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

#1268 - rename getConstantFldIdx to getConstantStructFldIdx

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

#1267 - rename API names in AE

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

#1266 - handling fun exit node

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

#1265 - False Negative in Anderson Points-to Analysis

Issue - State: open - Opened by HiragiChi 12 months ago - 4 comments

#1264 - add range limit to IntegerType

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

#1263 - strong update for translating phi

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

#1262 - fix a bug: 'getExitBB' of SVFFunction may get incorrect exit block.

Pull Request - State: closed - Opened by canliture 12 months ago - 11 comments

#1261 - Modify SVFIR2ItvExeState.cpp

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

#1260 - 2nd PR. Add SVF's byte size and fix some api use

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

#1259 - Set Option in a programmable way

Issue - State: closed - Opened by Qcloud1223 almost 1 year ago - 4 comments

#1258 - Load extapi module in buildSVFModule(Module& mod)

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

#1257 - Divergent Results and Loading Concerns in buildSVFModule Methods

Issue - State: closed - Opened by rycbar77 about 1 year ago - 5 comments

#1256 - Assertion Failure in `SVF::CHGBuilder::analyzeVTables`

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

#1255 - 1st PR of more precise ObjTypeInfo

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

#1253 - fix CFBBGraph for recursive funcs

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

#1252 - Is there a good way to implement an LLVM pass based on SVF

Issue - State: closed - Opened by zyd2001 about 1 year ago - 1 comment

#1251 - fix intervalValue compare operators

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

#1250 - Cannot buildSVFModule after pulling latest commit (from 9658ef4 to the latest)

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

#1249 - Add BinaryOp and UnaryOp into BreakConstantExpr

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

#1248 - Get "points-by" information in DDA query

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

#1247 - fix if offsetVarAndGepTypePair.second is nullptr

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

#1246 - fix 2 bug

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

#1245 - use getPtrElementType rather than getpointerelementtype

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

#1244 - Bump LLVM from 14 to 15

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

#1243 - Question: how to find all GEP reads and writes to a specific variable?

Issue - State: closed - Opened by enzo-pellegrini about 1 year ago - 7 comments

#1242 - Bump LLVM from 14 to 15

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

#1241 - add coverage and fix struct gep accumulatedGepByteOffset()

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

#1240 - fix getByteOffsets in GepStmt and SVFIR2ItvExeState

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

#1239 - Ignore specific instructions building the SVFG?

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

#1238 - Suppress warnings for unused variables when SVF_ENABLE_ASSERTIONS is …

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

#1237 - fix mac dynlib build failed

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

#1236 - loop does not terminate in debug mode, but terminates in release mode.

Issue - State: open - Opened by yuffon about 1 year ago - 2 comments

#1235 - test sharedlib building on mac

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

#1233 - fix WTO and CDG build bug

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

#1232 - fix LLVM_DIR rewrite by LLVMConfig.cmake

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

#1231 - skip inter edge for CFBBG WTO

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

#1231 - skip inter edge for CFBBG WTO

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

#1230 - Fix Wto for CFBBGraph

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

#1230 - Fix Wto for CFBBGraph

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

#1229 - Allow building of shared libraries

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

#1228 - fix potential null dereference

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

#1227 - Split callsite and return site in a CFBBNode

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

#1226 - fix shared library builds (experimental)

Pull Request - State: open - Opened by JuliusNmn about 1 year ago - 1 comment

#1224 - ld: Undefined symbols building with BUILD_SHARED_LIBS

Issue - State: closed - Opened by JuliusNmn about 1 year ago - 8 comments

#1223 - fix control dependence bug: no nearest common post dominator

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

#1222 - Question: how to get the basic instruction?

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

#1221 - remove bbToNode from CFBasicBlockGraph

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

#1220 - Add func to first BB

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

#1219 - fix svf doxygen publish err

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

#1218 - Merge ICFGWrapper with CFBasicBlockG

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

#1217 - Doxygen is significantly outdated with many versions behind.

Issue - State: open - Opened by su001018 about 1 year ago - 2 comments

#1215 - Fix typo and simplify code in ExtAPI

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

#1214 - Saber Analysis for Object Fields

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

#1213 - Mapping Analysis Results to Source Code

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

#1212 - Fix the extapi.bc path not found issue

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

#1211 - question: missing edges in ICFG with function pointers

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

#1210 - Fix some issues about ExtAPI

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

#1209 - fix compiler err in gcc13.2

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