Любой качественный компилятор должен уметь оптимизировать генерируемый им код для того, чтобы он не оказался слишком большим, слишком медленным, чересчур «запутанным» и т. д. Сами по себе, оптимизации могут быть очень различными, но почти все они базируются на предварительных исследованиях кода — так называемой абстрактной интерпретации или анализе потока данных. А реализовывать такие анализы обычно и нелегко, и просто-напросто дорого.
Именно в этом вам поможет наш генератор программных анализаторов PAG, способный автоматически генерировать эффективные анализаторы потока данных из кратких спецификаций ваших требований.
Ваша выгода
PAG освобождает вас не только от необходимости самим имплементировать функции домена и анализ графов потока контроля, но и от поиска и имплементации подходящих алгоритмов.
Таким образом, PAG значительно экономит ваше время.
Анализаторы, генерируемые PAG’ом, чрезвычайно эффективны, и их очень легко интегрировать даже в уже существующие компиляторы.
PAG’ом уже много лет пользуются как коммерческие компании, так и учебные заведения во всём мире. С помощью PAG’а им удалось быстро и дёшево имплементировать самые различные анализы, в том числе:
- анализ пользования стеком
- cache behavior prediction
- memory error detection (dereferencing null pointers)
- post pass code optimizations
- conditional constant propagation
- addressing mode optimization
- data dependency analysis on pointer structures
- optimizations for a video accelerator multiprocessor
- pipeline analysis
- escape analysis on Java
- value analysis on executables
- shape analysis
- strongly live variables analyses
- анализ интервалов (interval analysis)
- классические bit-vector analyses
Убедитесь сами
Вы можете бесплатно испытать PAG онлайн по адресу www.program-analysis.com.
