You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@tchaton tracking of struct pointer fields is currently not enabled by default in NilAway, since it can incur a significant performance overhead. You can turn on the flag experimental-struct-init to enable this tracking.
Activity
sonalmahajan15 commentedon May 27, 2026
@tchaton tracking of struct pointer fields is currently not enabled by default in NilAway, since it can incur a significant performance overhead. You can turn on the flag experimental-struct-init to enable this tracking.