Это приложение для Linux под названием Infer, последний выпуск которого можно загрузить как Inferversionv1.1.0.zip. Его можно запустить онлайн в бесплатном хостинг-провайдере OnWorks для рабочих станций.
Загрузите и запустите онлайн это приложение под названием Infer with OnWorks бесплатно.
Следуйте этим инструкциям, чтобы запустить это приложение:
- 1. Загрузил это приложение на свой компьютер.
- 2. Введите в нашем файловом менеджере https://www.onworks.net/myfiles.php?username=XXXXX с желаемым именем пользователя.
- 3. Загрузите это приложение в такой файловый менеджер.
- 4. Запустите онлайн-эмулятор OnWorks Linux или Windows или онлайн-эмулятор MACOS с этого веб-сайта.
- 5. В только что запущенной ОС OnWorks Linux перейдите в наш файловый менеджер https://www.onworks.net/myfiles.php?username=XXXXX с желаемым именем пользователя.
- 6. Скачайте приложение, установите его и запустите.
СКРИНШОТЫ
Ad
Interf
ОПИСАНИЕ
Infer - это инструмент статического анализа. Если вы дадите Infer какой-нибудь код Java или C / C ++ / Objective-C, он выдаст список потенциальных ошибок. Любой может использовать Infer для перехвата критических ошибок до их отправки пользователям и предотвращения сбоев или снижения производительности. Infer проверяет исключения нулевого указателя, утечки ресурсов, достижимость аннотаций, отсутствующие средства защиты блокировок и условия конкуренции в коде Android и Java. Infer проверяет разыменование нулевого указателя, утечку памяти, соглашения о кодировании и недоступные API. Начните с руководства по началу работы и других наших документов, чтобы загрузить и попробовать Infer самостоятельно. Infer все еще развивается, и мы хотим и дальше открывать его. Мы надеемся, что он будет полезен для других проектов, поэтому, пожалуйста, попробуйте его или внесите свой вклад, присоединяйтесь к сообществу и оставляйте отзывы!
Особенности
- Infer развернут в Facebook и работает постоянно, чтобы проверять выбранные свойства каждой модификации кода.
- Его также можно использовать для другого кода: Infer также может анализировать код C и код Java, который не является Android.
- Infer отслеживает проблемы, вызванные разыменованием нулевого указателя и утечками ресурсов и памяти.
- Infer пришла в Facebook с приобретением стартапа по верификации Monoidics в 2013 году.
- При анализе файлов C Infer захватывает команду gcc и вместо этого запускает clang для их анализа.
- Кроме того, у нас есть Infer-линтеры для описания поверхностного синтаксического анализа с использованием языка AL.
Язык программирования
C + +
Категории
Это приложение также можно загрузить с https://sourceforge.net/projects/infer.mirror/. Он размещен в OnWorks, чтобы его можно было легко запускать в Интернете с помощью одной из наших бесплатных операционных систем.
