I have added support for counted_by() annotations, and for loggging
array bound violations with Postfix logging routines. Note: this
adds only counted_by() support, not actual counted_by() annotations.
This is uploaded to Postfix source mirrors as postfix-3.12-20260919.
It will show up in Viktor's github as time permits.
Presently, I routinely test with Valgrind (memory and file descriptors);
this is slower, but has the advantage that it does not require code
modifications.
The limitation of dynamic tests (with Valgrind, ASAN, UBSAN, etc.)
is that they cover only code paths that are actually visited, not
every possible code path. The latter requires static analysis.
Wietse
_______________________________________________
Postfix-users mailing list -- [email protected]
To unsubscribe send an email to [email protected]
