Repository navigation

Go: fix models for built-in functions - #16413

Merged

owen-mc merged 16 commits into

github:mainfrom

owen-mc:go/fix-builtin-models

May 14, 2024

Merged

Go: fix models for built-in functions#16413
owen-mc merged 16 commits into
github:mainfrom
owen-mc:go/fix-builtin-models

Commits on May 10, 2024
- Fix model for `append` - it is variadic
  owen-mc
  committed
  e857eed
- Add model for built-in function `copy`
  owen-mc
  committed
  1322ce3
- Add models for `min` and `max` built-in functions
  owen-mc
  committed
  fcdac0a
- Remove old-style models of built-in functions
  owen-mc
  committed
  f95ccd2
- Rename test folder `ExternalFlow` to `ExternalTaintFlow`
  owen-mc
  committed
  84b7319
- Create copy of `ExternalTaintFlow` called `ExternalValueFlow`
  owen-mc
  committed
  c816412
- Update `ExternalValueFlow` to use value flow
  owen-mc
  committed
  eab1569
- Add tests for `copy` (taint passes, value fails)
  owen-mc
  committed
  86e2b84
- Local flow steps for flow summaries for built-in functions
  owen-mc
  committed
  d5aa08d
- Add change note
  owen-mc
  committed
  8cc9838
- Fix `elementWrite` to include flow summaries
  owen-mc
  committed
  e1c85e3
- Accept MaD renumbering for edge provenance
  owen-mc
  committed
  7694618
- Accept expected test changes
  owen-mc
  committed
  f8e17fe
- Two tests have different paths but same results
  owen-mc
  committed
  f7e6bf7
Commits on May 14, 2024
- Fix models for `min` and `max` and improve tests
  owen-mc
  committed
  ab5e1f8
- Test changes due to model renumbering
  owen-mc
  committed
  827d15a