fix typo; complete list of available analyses
fix scala matcherror in stdlibfuncreturn
comment type checking in canalysisfrontend
move typechecking away from dataflow analyses to allow time measurements
fix testcases: no typecheck have been conducted, so internal caches contained no values => nullpointer
remove duplicates from result lists in monotonefw; still don't know why they occur
limit uninitialized variables analysis to non-pointer variables; we don't handle pointer specific stuff anyway
fixing nullpointer; adding tracing information
remove redundant computations and code in CAnalysisFrontend
adding reaching definitions test