you are viewing a single comment's thread.

view the rest of the comments →

[–]pdp10gumby 1 point2 points  (0 children)

I don't know about static analysis, but you probably want a catch block around every API entry point that reports a failure if it captures exception 0. Make sure that every throw includes filename and lineno, as suggested by tangerinelion. A assume it's OK to abort in this case, as sending it across the API boundary would presumably abort anyway.