CraTer

Extension CraTer is to identify whether or not the root cause (i.e., the faulty-code-line) of Java crashes reside in their stack traces.