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

#1002 - FunptrDDAClient doesn't analyze some pointers

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

#999 - Add `toJson()` method for SVF values and types

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

#985 - Create cla.yml

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

#976 - update wto with CFBasicBlockG

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

#932 - Fedora Build SVF failed

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

#906 - Add SVFG::fromValue

Pull Request - State: open - Opened by gerion0 about 2 years ago - 1 comment

#901 - Bump LLVM from 13.0.0 to 15.0.0

Pull Request - State: open - Opened by xudon9 about 2 years ago - 4 comments

#660 - removal of getAnalysisUsage

Issue - State: closed - Opened by 251 over 2 years ago

#599 - Print true/false branch information

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

#587 - memory leak in MemSSA::newSSAName

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

#526 - BB --> ICFGNode for saber

Pull Request - State: closed - Opened by jumormt about 3 years ago

#118 - Add SymbolTableInfo::getSubStructViaByteOffset()

Pull Request - State: closed - Opened by sheisc almost 6 years ago

#57 - How to know the heap object is a struct or array or element of struct or array

Issue - State: open - Opened by zyw-nine over 6 years ago - 8 comments
Labels: question