It does get a little more difficult when execution flows into code you didn't write, but you can still validate your post/pre-conditions at those boundaries.