4 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
Victor Farazdagi	386b69f473	Fix comments (#8802) ... * fix incorrect exported name in comments * add comments to exported methods	2021-04-23 12:06:05 +00:00
Radosław Kapka	fe9921457c	Fix failing static analyzer tests (#7363) ... * add "want" expectations * add build step with analyzer tests * add colon to yml * Merge refs/heads/master into fix-analyzer-test-expectations * Merge refs/heads/master into fix-analyzer-test-expectations * Merge refs/heads/master into fix-analyzer-test-expectations * Merge refs/heads/master into fix-analyzer-test-expectations * remove tests from CI * readme file * change header size	2020-09-29 11:29:40 +00:00
Radosław Kapka	a2cf235687	No-op Instruction analyzer (#7249) ... * analyzer, tests and fixes * error check * gazelle * add more asserts * Merge branch 'master' into nop-analyzer * Merge refs/heads/master into nop-analyzer * fix no-op in blst package * Merge refs/heads/master into nop-analyzer * add assert after mutation * mark test as TODO * add issue number to TODO	2020-09-17 16:18:19 +00:00