Formal: Python/native classifier + per-line malloc attribution

Formal: Python/native classifier + per-line malloc attribution #2423