-
13.03.2012
Майк Уолл акцентирует внимание на вопросе оптимизации и повышения производительности кода при переносе. Начиная с объяснения преимуществ архитектуры AMD64, автор обсуждает несколько методов повышения производительности кода, включая использование ключей компилятора, встроенных функций, ассемблера и много другое. В дополнение он также описывает преимущества инструмента CodeAnalyst при оптимизации кода. В статье вы найдете несколько полезных примеров кода.
-
14.02.2012
В своем посте, Брюс Доусон объясняет, каким методом пользуется он и его коллеги в Valve для поиска и исправления ошибок усечения указателей на 64-битных системах. Объяснение приводится на примере демонстрационного кода.
-
27.01.2012
В этой короткой заметке автор рассказывает о своем опыте использования двух статических анализаторов кода, каждый из которых предоставляет собственную методику анализа: Address Sanitizer (ASan) и Clang Static Analyzer.
-
11.01.2012
В статье дается объяснение различий между 32-битными и 64-битными системами с точки зрения комплексной структуры компьютерной системы, состоящей из трех компонентов, или уровней: процессор, операционная система и приложения. Объясняются основные принципы архитектурной организации, а также приводятся ответы на самые распространенные вопросы о 32-битных и 64-битных системах.
-
06.01.2012
Данный пост посвящен ложному представлению о том, что инструменты статического анализа являются инструментами тестирования кода или могут служить хорошей заменой таковым. Автор объясняет разницу между различными видами тестирования и методикой статического анализа, раскрывая суть последнего и его роль в разработке. Он согласен, что статические анализаторы необходимы, но они предназначены для выявления "узкого диапазона дефектов кода".
-
13.12.2011
В этой заметке автор дает некоторые советы о том, как выбрать подходящий статический анализатор для ваших проектов. Эти советы помогут вам сделать правильный выбор с максимальной пользой для себя.
-
30.11.2011
Прослойка WOW в 64-битной Windows и используемый ею механизм перенаправления создает проблемы при проведении проверок безопасности информационных систем. В статье раскрывается суть этих проблем, и даются объяснения, как приспособить существующие инструменты анализа для их решения.
-
07.11.2011
Заметка отсылает читателя к статье Coverity, в которой описываются достоинства статического анализа и упоминаются три метода, которые он в себя включает: анализ потока данных, межпроцедурный анализ и сокращение ложных веток кода. Каждая методика поясняется на примере фрагмента кода.
-
06.10.2011
Автор на примере демонстрационного кода показывает, как нужно настроить компилятор и компоновщик, чтобы скомпилировать C++ приложение для 64-битной Windows. Каждый этап сопровождается комментариями.
-
05.10.2011
Статический анализ включает в себя множество методик, каждая из которых помогает разработчику в поиске разнообразных ошибок и проблем на разных стадиях процесса разработки. В своей статье Артур Хикен описывает данные методики (просмотр кода, анализ на основе паттернов, анализ потока данных, метрики, сообщения компилятора), а также виды проблем, которые решаются с их помощью.