0
ответов

Контракты кода C #: что можно проверить статически, а что нет ?

Я могу сказать, что довольно хорошо знаком с Code Contracts: я прочитал и понял большую часть руководства пользователя и уже довольно давно использую их, но у меня все еще есть вопросы. Когда я ищу ...
вопрос задан: 17 February 2011 10:40
0
ответов

в чем разница между __deref_out_opt и __deref_opt_out?

В чем разница между следующими аннотациями SAL? void foo (__ deref_out_opt PSTR * bar); void foo (__ deref_opt_out PSTR * bar);
вопрос задан: 24 January 2011 01:36
0
ответов

Инструменты для анализа кодовой базы C ++ [закрыто]

Какие инструменты быть наиболее полезным для анализа кодовой базы C ++? Сколько они стоят? Можем ли мы обойтись с помощью бесплатного и пробного программного обеспечения, или есть хорошее коммерческое программное обеспечение, которое нам действительно ст
вопрос задан: 23 November 2010 17:43
0
ответов

Инструмент для проверки моделей больших распределенных проектов C ++, таких как KDE?

Есть ли инструмент, который может обрабатывать большие, реальные- мир, в основном - C ++, распределенные системы, например KDE? (KDE - это распределенная система в том смысле, что она использует IPC, хотя обычно все…
вопрос задан: 10 November 2010 06:52
0
ответов

Контракты коллекции и потоки

Предположим, у меня есть собственный класс коллекции, который обеспечивает некоторую внутреннюю синхронизацию потоков. Например, упрощенный метод Add может выглядеть так: public void Add (T item) {...
вопрос задан: 13 October 2010 13:26
0
ответов

Как исключить свойства модели просмотра из CA1811

Используя VS 2010 / .Net 4.0, предупреждение анализа кода CA1811 (см. Ниже) запускается для всех свойств в модели просмотра, даже если они используются через привязку XAML: Предупреждение CA1811: Microsoft.Performance: '...
вопрос задан: 30 September 2010 20:05
0
ответов

Есть ли инструмент визуализации, который может проверять базу кода Java и сообщать о зависимостях между пакетами?

У нас есть база кода Java, которая имеет стал слишком большим для одного монолитного JAR (более 5000 классов). Одна из задач, которую мы исследуем, - сколько усилий нужно, чтобы сломать это ...
вопрос задан: 29 September 2010 20:10
0
ответов

Есть ли какие-нибудь инструменты статического анализа, которые могут помочь обнаружить shared_ptr <> циклические ссылки?

Есть ли там какие-либо инструменты статического анализа. какие-либо инструменты статического анализа, которые могут помочь обнаружить shared_ptr <> циклические ссылки? Даже если такой инструмент не может обнаружить сложные случаи, он все равно будет поле
вопрос задан: 29 September 2010 19:03
0
ответов

GrammaTech CodeSonar - вывод в CSV

Мне нужно экспортировать анализ GrammaTech CodeSonar из концентратора моего браузера в CSV. Однако я хочу включить свои заметки, но не знаю, как включить их в экспорт. Подскажите пожалуйста как экспортировать ...
вопрос задан: 10 September 2010 02:40
0
ответов

Создайте и Проанализируйте использование xcodebuild

Существует ли способ сделать Сборку и Проанализировать как в XCode с помощью xcodebuild? Я использую XCode 3.2.2
вопрос задан: 3 July 2010 07:41
0
ответов

Инструменты для нахождения Общих Изменяемых ошибок при работе с данными в Java

У меня есть большая унаследованная система для поддержания. Потоки использования кодовой базы повсеместно и те потоки совместно используют много изменяемых данных. Я знаю, плохие звуки. Так или иначе не отвечайте, "переписывают целое...
вопрос задан: 9 October 2008 12:20
0
ответов

Инструменты для нахождения Общих Изменяемых ошибок при работе с данными в Java

У меня есть большая унаследованная система для поддержания. Потоки использования кодовой базы повсеместно и те потоки совместно используют много изменяемых данных. Я знаю, плохие звуки. Так или иначе не отвечайте, "переписывают целое...
вопрос задан: 9 October 2008 12:20