Issues · google/go-flow-levee · GitHub

Labels Milestones New issue

Generics are not supported by analyzers

#323

· chressie opened

on May 5, 2022

`utils.Dereference` can get stuck in an infinite loop

#321

· mlevesquedion opened

on Jul 12, 2021

Separate the unit-tests for the two taint analyses

#318

· guodongli-google opened

on Jun 22, 2021

Use more advanced call graph in inter-procedural analysis

#317

· guodongli-google opened

on Jun 18, 2021

handle the unify-by-value semantics in the EAR pointer analysis

#314

· guodongli-google opened

on Jun 15, 2021

Handle standard library functions in the analysis engine

#312

· guodongli-google opened

on Jun 12, 2021

Refine handling of Defer and Go instructions.

#307

· mlevesquedion opened

on Apr 22, 2021

Determine how/whether we should explicitly enumerate functions that don't propagate taint

#293

· mlevesquedion opened

on Apr 6, 2021

Support "reverse" propagation through Store instructions

#291

· mlevesquedion opened

on Mar 15, 2021

Implement understanding of formatting verbs

#288

· mlevesquedion opened

on Mar 5, 2021

Improve handling of suppression comments in nested calls

#284

· mlevesquedion opened

on Feb 17, 2021

Enable exclusion of analysis by filename (rather than only package)

#282

· PurelyApplied opened

on Feb 10, 2021