Wasp Static Error Checker загрузить

"Данные анализа потоков для выявления штрафа время выполнения ошибки"
indir.biz Редактора: Если Java программа была протестирована тщательно, но все еще подвержена ошибкам, WASP программы вы анализатора штрафа ошибки времени выполнения и слабые стороны могут помочь обнаружить. следующие ошибки в любом статического обнаружения: NULL исключением указателей, запрещено литья, индекс массива за пределами поля, деление на ноль и т.д. недостатки следующих типов могут быть обнаружены: неинициализированные переменная не может быть доступна в филиалах или переключателя заявлением, недоступных петля условный орган или поймать положение, изменив значение переменной значения, а также подробную программу etc.Wasp точный способ вызова метода графа поиска Graph.The способ производства не может быть получено с помощью главного результата никогда не будет знать, какие конкретные методы и для каждого метода поможет в Дом назвал. Кроме того, другие статические анализаторы ошибки здесь этот метод может быть called.In сравнения, Wasp имеет два важных advantages.Wasp может знать точную ошибку для каждого метода в возможной ошибки (предупреждения), и потенциально может различать неправильную позицию. Во втором случае, Wasp сообщение называемые условные ошибки в данном конкретном применении five.Wasp ошибку о случае появляется, чтобы показать генерирует, поэтому некоторые звонки являются просто демонстрация ошибка может согласиться с контекстным анализом потоков данных делает метод в том числе, но не другие еще. Нам всем известны статические анализаторы (Java, MetaMata управления, например QStudio т.д.), чтобы запустить статический датчик оповещения при обнаружении ошибок produceonly длинных списков, поскольку анализ из-за слабой программа не распознает некоторые ошибки могут быть применены. Умение находить ошибки в программах оказалось штрафа, пользователь имеет все warnings.Wasp тратить много времени для анализа и этапы развития отладки evenafter испытание, потому что сложность реальной ситуации Waspdetects.
Новый:
Оса можно получить он-лайн пособие для Linux 3.2
Servlet программы могут быть проанализированы с Оса 3,2
Java 1.4 заявление с утверждениями сейчас Оса Статическая погрешность 3,2 Оса Checker 3.2 можно скачать бесплатно обрабатываются.