Source: Program Verification Systems Blog

Program Verification Systems Blog Unable to analyze a file with 'import' directive (compiler internal error 'msc1.cpp'). What shall I do?

Several times, we got complaints from users that the analysis of some parts of projects wasn't working any more. A common twist was the usage of the '#import' directive in problematic files. This note will briefly describe the reasons of the problem and what has to be done to resume the analysis.

Read full article »
Est. Annual Revenue
$5.0-25M
Est. Employees
1-25
CEO Avatar

CEO

Update CEO

CEO Approval Rating

- -/100