google go-flow-levee issues

google / go-flow-levee

Apache License 2.0

194 stars 18 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Adding a comment to test staticheck.

#328 timothy-king closed 2 years ago
1
Update to dependency on golang.org/x/tools to v0.1.12.

#327 timothy-king closed 2 years ago
1
Crashes when analyzing Go 1.19 standard libraries

#326 timothy-king closed 2 years ago
0
Upgrade the Go version to v1.18, and x/tools to v0.1.11. Support generics better.

#325 guodongli-google opened 2 years ago
3
Skip analyzers when seeing generics

#324 chressie opened 2 years ago
0
Generics are not supported by analyzers

#323 chressie opened 2 years ago
0
Avoid stack overflow in sourcetype.IsSourceType.

#322 mlevesquedion closed 3 years ago
0
`utils.Dereference` can get stuck in an infinite loop

#321 mlevesquedion opened 3 years ago
0
Stack Overflow in internal/pkg/sourcetype/sourcetype.go

#320 Osipion closed 3 years ago
3
EAR taint checker: traverse callers when connecting the sources and s…

#319 guodongli-google closed 3 years ago
1
Separate the unit-tests for the two taint analyses

#318 guodongli-google opened 3 years ago
0
Use more advanced call graph in inter-procedural analysis

#317 guodongli-google opened 3 years ago
0
Ear taint checker

#316 guodongli-google closed 3 years ago
3
Fix a unit-test failure due to non-determism.

#315 guodongli-google closed 3 years ago
0
handle the unify-by-value semantics in the EAR pointer analysis

#314 guodongli-google opened 3 years ago
0
Various minor improvements of the EAR pointer analysis.

#313 guodongli-google closed 3 years ago
0
Handle standard library functions in the analysis engine

#312 guodongli-google opened 3 years ago
1
false negative when analyze the url parameters about gin framework

#311 dialectically closed 3 years ago
5
Add an option to use the EAR analysis as the taint propagation engine.

#310 guodongli-google closed 3 years ago
5
EAR pointer analysis: add context sensitivity K>0

#309 guodongli-google closed 3 years ago
1
EAR pointer analysis: add inter-procedural support

#308 guodongli-google closed 3 years ago
4
Refine handling of Defer and Go instructions.

#307 mlevesquedion opened 3 years ago
0
Ear

#306 guodongli-google closed 3 years ago
2
Propagate through go calls more selectively.

#305 mlevesquedion closed 3 years ago
1
Fix README headings.

#304 mlevesquedion closed 3 years ago
0
chore: fix spelling

#303 jbampton closed 3 years ago
0
Avoid config bytes data races.

#302 mlevesquedion closed 3 years ago
0
Detect sources from inlined tuple call.

#301 mlevesquedion closed 3 years ago
0
Expose Summary data type.

#300 mlevesquedion closed 3 years ago
1
updated readme

#299 jordanbent closed 3 years ago
1
Allow summaries to be added externally.

#298 mlevesquedion closed 3 years ago
1
Allow config to be set directly.

#297 mlevesquedion closed 3 years ago
2
Add code coverage job.

#296 mlevesquedion closed 11 months ago
0
Rename internal/pkg/levee package name

#295 mlevesquedion closed 3 years ago
0
Fix typo in README

#294 mlevesquedion closed 3 years ago
0
Determine how/whether we should explicitly enumerate functions that don't propagate taint

#293 mlevesquedion opened 3 years ago
0
Propagate through calls more selectively to avoid false positives

#292 mlevesquedion closed 3 years ago
2
Support "reverse" propagation through Store instructions

#291 mlevesquedion opened 3 years ago
0
Print errors when config loading fails

#290 mlevesquedion closed 3 years ago
0
Fix bug: do not skip instructions that return types that aren't taintable

#289 mlevesquedion closed 3 years ago
0
Implement understanding of formatting verbs

#288 mlevesquedion opened 3 years ago
0
Do not visit referrers of non-string basic-typed values

#287 mlevesquedion closed 3 years ago
2
Always run all lint checks

#286 mlevesquedion closed 3 years ago
0
Ear Pointer Analysis

#285 guodongli-google closed 3 years ago
2
Improve handling of suppression comments in nested calls

#284 mlevesquedion opened 3 years ago
0
Allow report suppression via comments

#283 mlevesquedion closed 3 years ago
1
Enable exclusion of analysis by filename (rather than only package)

#282 PurelyApplied opened 3 years ago
0
[Draft] Trace taint when reporting.

#281 PurelyApplied opened 3 years ago
1
Do not propagate taint through sanitizers.

#280 PurelyApplied closed 3 years ago
1
Revisit tests involving source interface propagation

#279 PurelyApplied opened 3 years ago
3