Closed joliebig closed 11 years ago
enabling of static analysis options is now handled in own interface ICAnalysisOptions restore InterCFG functionality from WriteCFG branch (see pull request 22); had to be done manually here, since I didn't apply the pull request first :(.
error in parameter settings for static analyses.
enabling of static analysis options is now handled in own interface ICAnalysisOptions restore InterCFG functionality from WriteCFG branch (see pull request 22); had to be done manually here, since I didn't apply the pull request first :(.