3 Commits

Author	SHA1	Message	Date
Preston Van Loon	c1197d7881	Add static analysis for unsafe uint casting (#10318) ... * Add static analysis for unsafe uint casting * Fix violations of uintcast * go mod tidy * Add exclusion to nogo for darwin build * Add test for math.Int * Move some things to const so they are assured not to exceed int64 * Self review * lint * fix tests * fix test * Add init check for non 64 bit OS * Move new deps from WORKSPACE to deps.bzl * fix bazel build for go analysis runs * Update BUILD.bazel Remove TODO * add math.AddInt method * Add new test casts * Add case where builtin functions and declared functions are covered * Fix new findings * cleanup Co-authored-by: prylabs-bulldozer[bot] <58059840+prylabs-bulldozer[bot]@users.noreply.github.com> Co-authored-by: Nishant Das <nishdas93@gmail.com>	2022-03-11 09:34:30 +00:00
Preston Van Loon	98470fdb13	Update rules_go to v0.29.0 (#10064) ... * Update rules_go, delete patch, fix analyzers, remove old deployContract code, and prune old dependency which was broken in rules_go update * Undo some WORKSPACE diffs * Gazelle * remove nofuzz, fix build issue Co-authored-by: prylabs-bulldozer[bot] <58059840+prylabs-bulldozer[bot]@users.noreply.github.com>	2022-01-31 07:06:07 +00:00
Victor Farazdagi	ecfdb354a7	Add new static analyzer: ineffassign (#7413) ... * test defined * first working impl * register analyzer * cleanup * removes unused code * secure rand in slasher/detection/testing * Updates test * fixes ineffassign type checks * one more Co-authored-by: Preston Van Loon <preston@prysmaticlabs.com>	2020-10-02 23:56:18 +03:00