static-analysis

0зной

1ответ

Пожалуйста, помогите мне, чтобы получить ограничения кодирования для сценария действия и Flex 3. С уважением, Lalji

4зной

3ответ

Какой инструмент статического анализа для Java проще всего расширить?

Какие инструменты статического анализа для Java имеют самый простой механизм расширения. Я проверил PMD Но процесс написания пользовательских правил, похоже, очень востребован. В частности, я хочу зна

0зной

1ответ

JML Оценка \ old (выражение [Id])

Я хотел бы знать, как оценивается выражение JML формы \old(Expression[Id]), т. Е. Если у меня есть выражение \old(vector[value-1]), имеет ли значение \old значение «значение» или просто до значения ve

2зной

5ответ

Что случилось с использованием функции super() в конструкторе в Java?

Когда я бегу статический анализ на следующий код: public ExtractDBScripts(String resBundleName) { super(); m_mainBundle = ResourceBundle.getBundle(resBundleName); } Я получаю с

3зной

1ответ

Ловля переполнения левой смены константы 1 с использованием предупреждения компилятора?

Мы пишем код внутри ядра Linux, поэтому, как бы то ни было, я не смог заставить PC-Lint/Flexelint работать с кодом ядра Linux. Слишком много встроенных символов и т. Д. Но это побочный вопрос. У нас е