search

wala / WALA

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
http://github.com/wala/WALA
Eclipse Public License 2.0
762 stars 223 forks source link

Update to NullAway 0.11.1 #1430

Closed msridhar closed 3 months ago

msridhar commented 3 months ago

NullAway added significantly more support for checking arrays in JSpecify mode, necessitating several new annotations and changes in wala.util.

github-actions[bot] commented 3 months ago

Test Results

  813 files  ±0    813 suites  ±0   4h 5m 43s :stopwatch: + 20m 33s   735 tests ±0    718 :white_check_mark: ±0   17 :zzz: ±0  0 :x: ±0  5 029 runs  ±0  4 908 :white_check_mark: ±0  121 :zzz: ±0  0 :x: ±0 

Results for commit 8588700c. ± Comparison against base commit 762041b4.