Telecharger Cours

Type-Safe Data Plane Programming with SafeP4 - DROPS

For example, NullAway [29] analyzes all Java programs annotated with @Nullable annotations, making path-sensitive deductions about which references may be null.



Download