Skip to content

Issues: google/go-flow-levee

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

41 Open 20 Closed
41 Open 20 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Generics are not supported by analyzers bug Something isn't working
#323 opened May 5, 2022 by chressie
1
utils.Dereference can get stuck in an infinite loop bug Something isn't working
#321 opened Jul 12, 2021 by mlevesquedion
Separate the unit-tests for the two taint analyses bug Something isn't working
#318 opened Jun 22, 2021 by guodongli-google
Use more advanced call graph in inter-procedural analysis bug Something isn't working
#317 opened Jun 18, 2021 by guodongli-google
handle the unify-by-value semantics in the EAR pointer analysis bug Something isn't working
#314 opened Jun 15, 2021 by guodongli-google
Handle standard library functions in the analysis engine bug Something isn't working
#312 opened Jun 12, 2021 by guodongli-google
1
Refine handling of Defer and Go instructions.
#307 opened Apr 22, 2021 by mlevesquedion
Determine how/whether we should explicitly enumerate functions that don't propagate taint
#293 opened Apr 6, 2021 by mlevesquedion
Support "reverse" propagation through Store instructions
#291 opened Mar 15, 2021 by mlevesquedion
Implement understanding of formatting verbs
#288 opened Mar 5, 2021 by mlevesquedion
Improve handling of suppression comments in nested calls
#284 opened Feb 17, 2021 by mlevesquedion
Enable exclusion of analysis by filename (rather than only package) configuration
#282 opened Feb 10, 2021 by PurelyApplied
@PurelyApplied
Revisit tests involving source interface propagation bug Something isn't working
#279 opened Feb 3, 2021 by PurelyApplied
@mlevesquedion
3
Improve error reporting when config is missing
#275 opened Feb 1, 2021 by mlevesquedion
2
Handle methods on non-struct source types
#272 opened Jan 29, 2021 by mlevesquedion
2
go core.Sink(source) does not create report false negative
#263 opened Jan 16, 2021 by vinayakankugoyal
Handle recursive fieldpropagators
#253 opened Jan 5, 2021 by mlevesquedion
Improve isProducedBySanitizer to detect more cases of values produced by a call to a sanitizer
#237 opened Dec 18, 2020 by mlevesquedion
[FALSE NEGATIVE]: go panic(source) and defer panic(source) false negative
#231 opened Dec 16, 2020 by vinayakankugoyal
Calling a function with a struct that has a tainted field should taint every field
#229 opened Dec 15, 2020 by mlevesquedion
Struct fields should be taintable bug Something isn't working
#228 opened Dec 15, 2020 by mlevesquedion
Reconsider traversal through Allocs bug Something isn't working
#212 opened Dec 4, 2020 by mlevesquedion
@PurelyApplied
Do not propagate taint through a channel that is tainted in one select branch and read from in another branch bug Something isn't working
#211 opened Dec 3, 2020 by mlevesquedion
Leverage type information provided by type assertions
#210 opened Dec 3, 2020 by mlevesquedion
Tainting an interface value should not taint the contained value
#209 opened Dec 3, 2020 by mlevesquedion
ProTip! Mix and match filters to narrow down what you’re looking for.