awslabs/ar-go-tools issues and pull requests

#75 - Draft: Upgrade analysis packages.

Pull Request - State: open - Opened by victornicolet 3 months ago

#74 - Adding max-context option and calling max-depth unsafe.

Pull Request - State: open - Opened by victornicolet 3 months ago

#73 - Support for go1.22

Issue - State: open - Opened by victornicolet 4 months ago - 1 comment
Labels: maintenance

#72 - Copy x/tools pointer analysis to internal package

Pull Request - State: closed - Opened by samarth-aws 4 months ago

#71 - Changing ExplicitFlowsOnly to FailOnImplicitFlow

Pull Request - State: closed - Opened by victornicolet 4 months ago

#70 - Fix non-determinism due to ignoring multiple target for bound labels

Pull Request - State: closed - Opened by victornicolet 4 months ago

#69 - Fix Calling Context Computation

Pull Request - State: closed - Opened by ArquintL 5 months ago

#68 - Evaluate symlinks when parsing test filepaths

Pull Request - State: closed - Opened by samarth-aws 5 months ago

#67 - Tests fail in macOS Terminal.app but pass in GoLand

Issue - State: closed - Opened by samarth-aws 5 months ago

#66 - Embed test files

Pull Request - State: closed - Opened by samarth-aws 5 months ago - 5 comments

#65 - Fix #60 + small updates in documentation.

Pull Request - State: closed - Opened by victornicolet 6 months ago

#64 - Precision in escape analysis closures

Issue - State: open - Opened by amzn-jasonrk 7 months ago - 2 comments
Labels: precision

#63 - Structs in Channels in Escape Analysis

Issue - State: open - Opened by amzn-jasonrk 7 months ago - 2 comments
Labels: soundness

#62 - Non-determinism in Escape Analysis

Issue - State: open - Opened by amzn-jasonrk 7 months ago - 2 comments
Labels: bug, soundness

#61 - Automatically analyze interface summaries

Issue - State: open - Opened by victornicolet 7 months ago - 1 comment
Labels: enhancement, soundness

#60 - Fix: rebuild function in argot-cli

Issue - State: closed - Opened by victornicolet 7 months ago
Labels: bug

#59 - Update build-analyze-test workflow with new actions + go versions

Pull Request - State: closed - Opened by victornicolet 7 months ago

#58 - Add support for reflection to escape analysis

Pull Request - State: closed - Opened by amzn-jasonrk 8 months ago

#57 - Error on implicit flow in taint analysis

Pull Request - State: closed - Opened by samarth-aws 9 months ago
Labels: enhancement, soundness

#56 - Context Sensitive Call Graph

Issue - State: closed - Opened by amzn-jasonrk 9 months ago - 1 comment
Labels: enhancement, no-issue-activity, precision

#55 - Adding json as config format.

Pull Request - State: closed - Opened by victornicolet 9 months ago

#54 - Field sensitivity

Pull Request - State: closed - Opened by victornicolet 9 months ago

#53 - Capabilities in taint analysis

Pull Request - State: closed - Opened by samarth-aws 9 months ago - 1 comment

#52 - Small fixes

Pull Request - State: closed - Opened by victornicolet 10 months ago

#51 - Removing deadcode

Pull Request - State: closed - Opened by victornicolet 10 months ago

#50 - Fixing all linter errors.

Pull Request - State: closed - Opened by victornicolet 10 months ago - 2 comments

#49 - Optims

Pull Request - State: closed - Opened by victornicolet 10 months ago

#48 - Initial Implementation of Escape Rationales

Pull Request - State: closed - Opened by amzn-jasonrk 10 months ago

#47 - Partial field sensitivity

Pull Request - State: closed - Opened by victornicolet 10 months ago

#46 - Optimizing Argot

Issue - State: open - Opened by samarth-aws 10 months ago - 2 comments
Labels: enhancement

#45 - Model Capabilities in the Analyses

Issue - State: closed - Opened by samarth-aws 10 months ago - 2 comments
Labels: enhancement, no-issue-activity

#44 - Fix `fmt.Errorf` false-positives

Issue - State: closed - Opened by samarth-aws 10 months ago - 1 comment
Labels: bug, precision

#43 - Fix escape test (iterating over changing map)

Pull Request - State: closed - Opened by amzn-jasonrk 10 months ago

#42 - Add support for interfaces as taint sinks

Pull Request - State: closed - Opened by samarth-aws 10 months ago
Labels: enhancement

#41 - Adds SSM Agent Testcase

Pull Request - State: closed - Opened by ArquintL 10 months ago - 1 comment
Labels: no-pr-activity

#40 - Escape Load Node Scaling & Taint Integration

Pull Request - State: closed - Opened by amzn-jasonrk 11 months ago

#39 - Sanitization of untrusted data

Pull Request - State: closed - Opened by victornicolet 12 months ago

#38 - Use of Insecure Functions

Issue - State: closed - Opened by victornicolet 12 months ago - 1 comment
Labels: no-issue-activity, security

#37 - Removing RemoveAll, using timestamped files instead.

Pull Request - State: closed - Opened by victornicolet 12 months ago

#36 - Prevent unwanted file deletion or modification

Issue - State: closed - Opened by victornicolet 12 months ago

#35 - Using aliasing information to properly identify callees as sources

Pull Request - State: closed - Opened by victornicolet 12 months ago

#34 - Support uncalled functions as analysis entrypoints

Pull Request - State: closed - Opened by samarth-aws 12 months ago - 2 comments
Labels: soundness

#33 - Add escape interfaces support

Pull Request - State: closed - Opened by amzn-jasonrk about 1 year ago

#32 - User interface features: Drawio config + multi problem config

Pull Request - State: closed - Opened by victornicolet about 1 year ago
Labels: enhancement

#31 - Improving callgraph precision by inlining

Issue - State: closed - Opened by victornicolet about 1 year ago - 2 comments
Labels: enhancement, no-issue-activity, precision

#30 - Improving precision (context sensitivity) for some cases with closures

Issue - State: open - Opened by victornicolet about 1 year ago - 3 comments
Labels: precision

#29 - Add field sensitivity to escape analysis

Pull Request - State: closed - Opened by amzn-jasonrk about 1 year ago