Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / google/go-flow-levee issues and pull requests

#328 - Adding a comment to test staticheck.

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

#327 - Update to dependency on golang.org/x/tools to v0.1.12.

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

#326 - Crashes when analyzing Go 1.19 standard libraries

Issue - State: closed - Opened by timothy-king almost 2 years ago
Labels: bug

#325 - Upgrade the Go version to v1.18, and x/tools to v0.1.11. Support generics better.

Pull Request - State: open - Opened by guodongli-google about 2 years ago - 3 comments

#324 - Skip analyzers when seeing generics

Pull Request - State: open - Opened by chressie about 2 years ago

#323 - Generics are not supported by analyzers

Issue - State: open - Opened by chressie about 2 years ago
Labels: bug

#322 - Avoid stack overflow in sourcetype.IsSourceType.

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

#321 - `utils.Dereference` can get stuck in an infinite loop

Issue - State: open - Opened by mlevesquedion almost 3 years ago
Labels: bug

#320 - Stack Overflow in internal/pkg/sourcetype/sourcetype.go

Issue - State: closed - Opened by Osipion almost 3 years ago - 3 comments
Labels: bug

#319 - EAR taint checker: traverse callers when connecting the sources and s…

Pull Request - State: closed - Opened by guodongli-google almost 3 years ago - 1 comment

#318 - Separate the unit-tests for the two taint analyses

Issue - State: open - Opened by guodongli-google about 3 years ago
Labels: bug

#317 - Use more advanced call graph in inter-procedural analysis

Issue - State: open - Opened by guodongli-google about 3 years ago
Labels: bug

#316 - Ear taint checker

Pull Request - State: closed - Opened by guodongli-google about 3 years ago - 3 comments

#315 - Fix a unit-test failure due to non-determism.

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

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

Issue - State: open - Opened by guodongli-google about 3 years ago
Labels: bug

#313 - Various minor improvements of the EAR pointer analysis.

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

#312 - Handle standard library functions in the analysis engine

Issue - State: open - Opened by guodongli-google about 3 years ago - 1 comment
Labels: bug

#311 - false negative when analyze the url parameters about gin framework

Issue - State: closed - Opened by dealwithproblems about 3 years ago - 5 comments
Labels: false negative

#310 - Add an option to use the EAR analysis as the taint propagation engine.

Pull Request - State: closed - Opened by guodongli-google about 3 years ago - 5 comments

#309 - EAR pointer analysis: add context sensitivity K>0

Pull Request - State: closed - Opened by guodongli-google about 3 years ago - 1 comment

#308 - EAR pointer analysis: add inter-procedural support

Pull Request - State: closed - Opened by guodongli-google about 3 years ago - 4 comments

#307 - Refine handling of Defer and Go instructions.

Issue - State: open - Opened by mlevesquedion about 3 years ago

#306 - Ear

Pull Request - State: closed - Opened by guodongli-google about 3 years ago - 2 comments

#305 - Propagate through go calls more selectively.

Pull Request - State: closed - Opened by mlevesquedion about 3 years ago - 1 comment

#304 - Fix README headings.

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

#303 - chore: fix spelling

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

#302 - Avoid config bytes data races.

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

#301 - Detect sources from inlined tuple call.

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

#300 - Expose Summary data type.

Pull Request - State: closed - Opened by mlevesquedion about 3 years ago - 1 comment

#299 - updated readme

Pull Request - State: closed - Opened by jordanbent about 3 years ago - 1 comment

#298 - Allow summaries to be added externally.

Pull Request - State: closed - Opened by mlevesquedion about 3 years ago - 1 comment

#297 - Allow config to be set directly.

Pull Request - State: closed - Opened by mlevesquedion about 3 years ago - 2 comments

#296 - Add code coverage job.

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

#295 - Rename internal/pkg/levee package name

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

#294 - Fix typo in README

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

#292 - Propagate through calls more selectively to avoid false positives

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago - 2 comments

#290 - Print errors when config loading fails

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#288 - Implement understanding of formatting verbs

Issue - State: open - Opened by mlevesquedion over 3 years ago

#287 - Do not visit referrers of non-string basic-typed values

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago - 2 comments

#286 - Always run all lint checks

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#285 - Ear Pointer Analysis

Pull Request - State: closed - Opened by guodongli-google over 3 years ago - 2 comments

#277 - Cleanup: Remove unnecessary print statement

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#276 - Refactor: Rename propagation methods: visit --> taint

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#265 - Docs: Add quickstart user guide

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago - 2 comments

#259 - Rework debug graph edges

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#257 - Fix: Validate that nopanic test can catch leaks

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#254 - Docs: Make it clearer what/where the verify script is

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#252 - Fix: Allow traversal through source methods

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago - 3 comments

#250 - Cleanup various small things

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#248 - Refactor: Use propagation in fieldpropagator

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#246 - Fix: Handle pointer methodsets in fieldpropagator

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#245 - Cleanup: Remove unnecessary "test"

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#244 - Cleanup: Delete unused "CFA" package

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#243 - Improvement: Handle append and copy builtins

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#235 - Improvement: Handle select instructions

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#220 - Freshen levee package docs

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#219 - Cleanup: Remove 'Tests pass' checkbox from PR template

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#215 - Docs: Add instructions for running on a large codebase

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#208 - Cleanup: Assign issues to TODOs

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago - 2 comments

#205 - Clarify debugging instructions

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#203 - Docs: Add reading recommendations for developers

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#201 - Refactor: Unify traversal through Field and FieldAddr instructions

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#199 - Fix: Only traverse to store addr

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago - 2 comments

#194 - Fix: Do not traverse to signatures

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#192 - Cleanup: Remove dead Source.RefersTo method

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#191 - Determine which Basic types can't meaningfully be tainted

Issue - State: closed - Opened by mlevesquedion over 3 years ago - 1 comment

#185 - Fix: Only traverse to reference args

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago - 1 comment

#184 - Improvement: Handle tagged fields in wrapped structs

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#178 - Explicitly handle each node type

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago - 7 comments

#172 - Refactor: Use test glob to run all tests

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago - 1 comment

#169 - Cleanup: Replace JSON configs with YAML

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago - 1 comment

#167 - Cleanup: Remove unused type

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#166 - Fix: Do not traverse to lookup index

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago - 1 comment

#146 - Fix: Do not traverse to booleans

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago - 1 comment

#145 - Fix: Do not traverse from an Extract to its Operands

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#137 - Improvement: Consider source collections to be sources

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago - 1 comment

#134 - Fix: Do not visit any Extract's operands

Pull Request - State: closed - Opened by mlevesquedion over 3 years ago

#116 - Fix: Do not visit instructions that are not reachable from source

Pull Request - State: closed - Opened by mlevesquedion almost 4 years ago

#114 - Cleanup: Remove configuration scope todo

Pull Request - State: closed - Opened by mlevesquedion almost 4 years ago

#113 - Cleanup: Remove unnecessary reporting flag

Pull Request - State: closed - Opened by mlevesquedion almost 4 years ago

#112 - Cleanup: Remove dead todo comments in source.go

Pull Request - State: closed - Opened by mlevesquedion almost 4 years ago - 2 comments

#111 - Cleanup: Remove recover block TODOs

Pull Request - State: closed - Opened by mlevesquedion almost 4 years ago

#109 - Cleanup: Remove dead todo comments

Pull Request - State: closed - Opened by mlevesquedion almost 4 years ago

#108 - Improvement: Mark type as source if it holds a tagged field

Pull Request - State: closed - Opened by mlevesquedion almost 4 years ago

#106 - Refactor: Improve naming of receiver in source methods

Pull Request - State: closed - Opened by mlevesquedion almost 4 years ago

#98 - Adopt pointer or other package to identify passing sources as interface parameters.

Issue - State: open - Opened by PurelyApplied almost 4 years ago - 2 comments
Labels: interprocedural

#93 - Update documentation - promises and goals

Issue - State: open - Opened by PurelyApplied almost 4 years ago - 1 comment
Labels: documentation

#84 - Refactor: Make calls to Operands more direct by passing nil

Pull Request - State: closed - Opened by mlevesquedion almost 4 years ago

#82 - Refactor: Filter referrers before visiting

Pull Request - State: closed - Opened by mlevesquedion almost 4 years ago

#81 - Improvement: Identify sources in extracts

Pull Request - State: closed - Opened by mlevesquedion almost 4 years ago - 11 comments

#78 - Refactor: Remove unnecessary alias

Pull Request - State: closed - Opened by mlevesquedion almost 4 years ago

#76 - Fix: Only avoid Source methods when traversing from a Source

Pull Request - State: closed - Opened by mlevesquedion almost 4 years ago

#64 - Refactor: Remove unnecessary loop over dominees

Pull Request - State: closed - Opened by mlevesquedion almost 4 years ago

#38 - Handle slices by visiting operands

Pull Request - State: closed - Opened by mlevesquedion almost 4 years ago - 2 comments