Comments on: Viva64: статический анализатор кода, специализирующийся на проблемах 64-х битного кода. http://blog.not-a-kernel-guy.com/2007/06/19/200 ... in the Windows kernel team Thu, 08 Jan 2009 12:33:51 +0000 http://wordpress.org/?v=2.7 hourly 1 By: Evgeniy Ryzhkov http://blog.not-a-kernel-guy.com/2007/06/19/200/comment-page-1#comment-8036 Evgeniy Ryzhkov Sat, 23 Jun 2007 04:38:32 +0000 http://blog.not-a-kernel-guy.com/2007/06/19/200#comment-8036 kka, поясните, пожалуйста, что значит "такое же, но для MPI"? Лучше на почту evg@viva64.com. Вероятно у нас есть такое :-). Евгений Рыжков, разработчик Viva64. kka, поясните, пожалуйста, что значит “такое же, но для MPI”? Лучше на почту evg@viva64.com. Вероятно у нас есть такое :-).

Евгений Рыжков,
разработчик Viva64.

]]> By: Not a kernel guy http://blog.not-a-kernel-guy.com/2007/06/19/200/comment-page-1#comment-8033 Not a kernel guy Wed, 20 Jun 2007 23:38:32 +0000 http://blog.not-a-kernel-guy.com/2007/06/19/200#comment-8033  <blockquote>А такого же толь ко для анализа кластерного кода нет (под Microsoft реализацию MPI)?</blockquote> Не знаю такого.  
А такого же толь ко для анализа кластерного кода нет (под Microsoft реализацию MPI)?

Не знаю такого.

]]> By: kka http://blog.not-a-kernel-guy.com/2007/06/19/200/comment-page-1#comment-8032 kka Wed, 20 Jun 2007 16:24:11 +0000 http://blog.not-a-kernel-guy.com/2007/06/19/200#comment-8032 А такого же толь ко для анализа кластерного кода нет (под Microsoft реализацию MPI)? А такого же толь ко для анализа кластерного кода нет (под Microsoft реализацию MPI)?

]]> By: Not a kernel guy http://blog.not-a-kernel-guy.com/2007/06/19/200/comment-page-1#comment-8025 Not a kernel guy Tue, 19 Jun 2007 16:21:53 +0000 http://blog.not-a-kernel-guy.com/2007/06/19/200#comment-8025  <blockquote>В опциях даже есть специальная настройка, контролирующая аппетит Viva64 к памяти.</blockquote> Тут я наврал. :-( <blockquote>Это настройка отвечает, диагностировать ли конструкции, с точки зрения работы с массивами размером более 2 гигабайт. Пример: int index; ... array[index++] = 1; - Всегда безопасно если размер массива меньше 2 GB элементов, и опасно, если больше. Данная настройка позволяет существенно сократить количество предупреждений, если программа не работает с большим объемом памяти. </blockquote>  
В опциях даже есть специальная настройка, контролирующая аппетит Viva64 к памяти.

Тут я наврал. :-(

Это настройка отвечает, диагностировать ли конструкции, с точки зрения работы с массивами размером более 2 гигабайт. Пример:

int index;
…
array[index++] = 1; - Всегда безопасно если размер массива меньше
2 GB элементов, и опасно, если больше.

Данная настройка позволяет существенно сократить количество предупреждений, если программа не работает с большим объемом памяти.

]]> By: Andrey http://blog.not-a-kernel-guy.com/2007/06/19/200/comment-page-1#comment-8023 Andrey Tue, 19 Jun 2007 14:58:36 +0000 http://blog.not-a-kernel-guy.com/2007/06/19/200#comment-8023 Хочу немного разъяснить ситуацию с предупреждениями. С большим количеством лишних предупреждений можно бороться путем настройки фильтров. Например, если Вы уверены, что все функции "fprintf" вызываются с корректными аргументами, то можно фильтровать все сообщения, содержащие в себе название этой функции. Если Вы хотите убрать все предупреждения V111, то достаточно добавить фильтрацию сообщений содержащих "V111:". И еще, если кто-то не любит читать статьи на английском языке, то по этим прямым ссылкам можно ознакомиться со статьями на русском: <ol> <li><a href="http://www.viva64.com/articles/Problems_of_testing_64-bit_applications_%28rus%29.html" rel="nofollow">"Проблемы тестирования 64-битных приложений"</a>;</li> <li><a href="http://www.viva64.com/articles/20_issues_of_porting_C++_code_on_the_64-bit_platform_%28rus%29.html" rel="nofollow">"20 ловушек переноса Си++ - кода на 64-битную платформу"</a>;</li> <li><a href="http://www.viva64.com/articles/64_bits_for_developers_-_from_Wp64_to_Viva64_%28rus%29.html" rel="nofollow">"64 бита для Си++ программистов: от /Wp64 к Viva64"</a>.</li> </ol> Андрей Карпов. Один из разработчиков Viva64. Хочу немного разъяснить ситуацию с предупреждениями.
С большим количеством лишних предупреждений можно бороться путем настройки
фильтров. Например, если Вы уверены, что все функции “fprintf” вызываются с корректными аргументами, то можно фильтровать все сообщения, содержащие в себе название этой функции. Если Вы хотите убрать все предупреждения V111, то достаточно добавить фильтрацию сообщений содержащих “V111:”.

И еще, если кто-то не любит читать статьи на английском языке, то по этим прямым ссылкам можно ознакомиться со статьями на русском:

  1. “Проблемы тестирования 64-битных приложений”;
  2. “20 ловушек переноса Си++ - кода на 64-битную платформу”;
  3. “64 бита для Си++ программистов: от /Wp64 к Viva64″.

Андрей Карпов. Один из разработчиков Viva64.

]]> By: Зеркало: Not a kernel guy http://blog.not-a-kernel-guy.com/2007/06/19/200/comment-page-1#comment-8022 Зеркало: Not a kernel guy Tue, 19 Jun 2007 07:24:40 +0000 http://blog.not-a-kernel-guy.com/2007/06/19/200#comment-8022 <strong>Viva64: статический анализатор кода, специализирующийся на проблемах 64-х битног...</strong> Некоторое время назад (довольно давно, откровенно говоря) меня попросили написат... Viva64: статический анализатор кода, специализирующийся на проблемах 64-х битног…

Некоторое время назад (довольно давно, откровенно говоря) меня попросили написат…

]]>