|
|
|
|
|
|
by prosqlinjector
993 days ago
|
|
|
This is nonsensical. When you use a function, how do you know what it will do? You guess from its name? > auditing it is awful. If a function specifies a requirement, you look at the callers and see if that requirement is met. If it's easy to verify in code, you can assert. Is there an easier way to audit correctness? |
|
|