5 ms·
Static analysis tools would go a long way here, yes, and it should be a relatively straightforward analysis. You probably don't even need to explicitly annotat
by loeg 2y ago
Static analysis tools would go a long way here, yes, and it should be a relatively straightforward analysis. You probably don't even need to explicitly annotate signal handlers, just examine arguments to calls to signal() and sigaction().
- nuijakas 2y ago[dead]
- nuijakas 2y ago[dead]
- nuijakas 2y ago[flagged]
- nuijakas 2y ago[flagged]
- nuijakas 2y ago[flagged]
- nuijakas 2y ago[flagged]
- nuijakas 2y ago[dead]
- nuijakas 2y ago[dead]
- nuijakas 2y ago[dead]
- nuijakas 2y ago[dead]
- nuijakas 2y ago[dead]
- nuijakas 2y ago[dead]
- nuijakas 2y ago[dead]
- nuijakas 2y ago[dead]
- nuijakas 2y ago[dead]
- nuijakas 2y ago[dead]
- nuijakas 2y ago[dead]
- nuijakas 2y ago[dead]
- nuijakas 2y ago[dead]
- nuijakas 2y ago[dead]
- nuijakas 2y ago[dead]
- nuijakas 2y ago[dead]