Skip to content

/ phasar

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

29 Open 65 Closed
29 Open 65 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
Improve PointsToSet precision by deal with "MayAlias" and "MustAlias" differently
#381 opened Jul 16, 2021 by ga0
wrong taint ptopagation for structs
#368 opened Jul 12, 2021 by me22bee
4 of 7 tasks
plugin make file
#351 opened Jun 29, 2021 by me22bee
Why all esg data flow fact are empty?
#340 opened Apr 26, 2021 by wuxiaoqiang12
@MMory
2
Document when to use forward declarations versus #includes
#338 opened Apr 20, 2021 by blipper
@pdschubert
Document branch model used for SDLC
#337 opened Apr 20, 2021 by blipper
@pdschubert
1
Automatically format code via Clang Tidy GitHub action
#336 opened Apr 20, 2021 by blipper
@pdschubert
1
Simplify design and architecture and remove plugin approach
#335 opened Apr 19, 2021 by blipper
@pdschubert
2
AddData in ProfileData.cc crashes computeFunctionsPointsToSet using CFLSteens
#329 opened Apr 18, 2021 by blipper
@MMory
Unit Tests compareResults numeric ID based ground truth values are fragile extensive
#328 opened Apr 18, 2021 by blipper
@pdschubert
1
getMetaDataID returns "-1" for unknown/unhandled
#325 opened Apr 18, 2021 by blipper
Add/implement isReachable()/pathsTo() for control flow
#321 opened Apr 17, 2021 by blipper
@MMory
1
Clearly document the OpenSSL version required
#320 opened Apr 17, 2021 by blipper
@pdschubert
1
Create thread safe version of llvm::CFLAndersAA and llvm::CFLSteensAA
#319 opened Apr 17, 2021 by blipper
LLVM Buffer Overflow LLVMPointsToSet.Global_01
#318 opened Apr 16, 2021 by blipper
@MMory
2
Add ASan to debug builds
#316 opened Apr 16, 2021 by blipper
Reformat existing code and enforce formatting for commits
#314 opened Apr 16, 2021 by blipper
@pdschubert
Parallelize LLVMBaseICFG
#313 opened Apr 16, 2021 by blipper
Integrate CI into Github Workflow
#306 opened Apr 15, 2021 by blipper
@pdschubert
Parallelize LLVMPointsToSet
#305 opened Apr 15, 2021 by blipper
3
Abort in taint analysis demo
#245 opened Apr 7, 2021 by wideglide
4 of 7 tasks
2
LLVM ERROR: Could not retrieve function for entry point
#244 opened Apr 6, 2021 by bingosxs
@MMory
3
OpenSSL Typestate analysis Secure Memory check bug
#240 opened Mar 15, 2021 by Ayohbk
4 of 7 tasks
@fabianbs96
1
Assertion error: `Idx < Formals.size() && "Out of bound access to formal parameters!"' failed.
#200 opened Sep 23, 2020 by boehmseb
2 tasks done
5
Segmentation fault
#198 opened Sep 17, 2020 by legendtang
4 of 7 tasks
@pdschubert @MMory
14
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.