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
fix wrong pattern for Id definitions
speedup dataflow analysis: first look for potential errors then make the
analysis inprecise; last check condition of analysis results with
satsolver.
fix testcase: we do not track pointers anymore
remove invalid comments after previous refactorings
remove output of currently processed function in dataflow analysis
follow up from last commit
track pointers again in uninitialized memory
enable rendering of dataflow errors to xml file
start to limit functions in cfg computation to CFGStmt type instead of the more general AST type
fix comments on new cfg types
remove unnecessary brackets