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
We would like your feedback on a static analysis tool that prevents errors in AutoValue clients by guaranteeing that required methods are always called on AutoValue Builders. The required methods are those that set a property that is not @Nullable, Optional, or a Guava Immutable Collection. We have run the checker on some projects that use AutoValue, and discovered a real bug:
We would be very happy to get your feedback on this checker. If you think it is of value, we would like to have the checker publicized to AutoValue users. Thanks!
The text was updated successfully, but these errors were encountered:
Dear AutoValue developers,
We would like your feedback on a static analysis tool that prevents errors in AutoValue clients by guaranteeing that required methods are always called on AutoValue Builders. The required methods are those that set a property that is not
@Nullable
,Optional
, or a Guava Immutable Collection. We have run the checker on some projects that use AutoValue, and discovered a real bug:googleapis/gapic-generator#2892
You can read more about the checker in its README:
https://github.com/kelloggm/object-construction-checker
and in a soon-to-be-published research paper:
https://homes.cs.washington.edu/~kelloggm/papers/ICSE2020-camera-ready.pdf
Here is a sample project showing the checker in action for some sample AutoValue code:
https://github.com/msridhar/obj-cons-autovalue-example
We would be very happy to get your feedback on this checker. If you think it is of value, we would like to have the checker publicized to AutoValue users. Thanks!
The text was updated successfully, but these errors were encountered: