3 ms·
What tool/framework do they use for annotation and are there standards like SMTlib2, but for annotating those kind of things? Can this tools verify that the ann
by matu3ba 6y ago
What tool/framework do they use for annotation and are there standards like SMTlib2, but for annotating those kind of things?
Can this tools verify that the annotations are correct wrt the code below or above?
- quotemstr 6y agohttps://docs.microsoft.com/en-us/cpp/code-quality/understanding-sal?view=msvc-160 https://docs.microsoft.com/en-us/cpp/code-quality/understand...