Комментарии 12
Andrey2008 вроде раньше «политика партии» была в том, что неплохо бы зайти в около государственный сегмент, ибо деньги там есть, но игра не стоила свеч из-за необходимости замазаться в откатах, подковерной борьбе и прочих не интересных для технаря вещах.
Что-то поменялось?
Что-то поменялось?
0
Пользуюсь PVS для своих проектов и очень доволен! Особенно полезным бывает прогнать код сторонней библиотеки, которую к себе подключить собираюсь. Бывает, находятся очень глупые ошибки, которые всё портят, но на первый взгляд ошибками не выглядят.
+3
Практический доклад можно было попробовать подать на OS Day.
0
Единственное, меня немного смущает «статья не содержит никаких деталей, позволяющих судить об инструменте анализа».
Уверен имелось ввиду — судить с научной точки зрения. Думаю, рецензенты хотели увидеть описание методик поиска ошибок, подходов, возможно что-то из области теории компиляции и синтаксического анализа, увидеть научное описание «Технологий анализа, моделирования и трансформации программ» в конце концов, а не продукт данных технологий и результаты его работы.
Но наука это не только теория, но и практика, и конференции существуют для обмена опытом и общения, поэтому даже если в статье не раскрыты ноу-хау, имеет смысл пригласить авторов удачного проекта, просто ради возможности пообщаться. И так делают на большинстве конференций, в основном конечно в платных или когда подобный участник выступает спонсором.
Меня подвело неумение подавать научные заявки.
Странно, а ведь диссертацию вроде защитил? Если да, то по логике должен уметь =)
+5
Не видя саму статью сложно сказать насколько правы эксперты, но в общем при научном рецензировании замечания это обычное дело.
Кроме того прочитав в статье «Svace — это статический анализатор кода, разрабатываемый в ИСП РАН при финансировании компании Samsung и специализированный на поиске ошибок в операционной системе Tizen.» и посмотрев ролик с конференции с молодыми девицами у стенда, складывается впечатление что данная конференция это не только обмен опытом, а ещё маркетинговая рекламная компания, а зачем конкуренты. И в рыночной экономике это обычное дело, тем более гос. структура всегда мощнее начинающего частного капитала.
Из замечаний рецензентов понятно, что в статье они увидели много практических примеров, но не увидели теоретической базы, обобщения для общего случая, например, для различных языков программирования. Построение подобных лингвистических моделей и обобщение достаточно непростое дело и с практикой решения частных задач может пересекаться лишь условно. Но для построения теории и развития направления, подобные модели могут быть полезны.
Прочитав статью сразу возникает вопрос: а как PVS-Studio работает с условно нестандартным C и С++, созданным, например, для микроконтроллеров Atmel в среде AVR Studio или для STM Keil или для g++?
Сейчас рынок встраиваемых систем, IoT, мобильных систем, например, на ядрах ARM и др. это достаточно большой и непрерывно растущий рынок. И при этом есть многообразие компиляторов, сред разработки многие из которых значительно отходят от стандартов C, C++ и даже изменяют рекомендованный производителем набор нимоник ассемблера.
Т.е. насколько PVS-Studio «интеллектуальна» и способно к самостоятельному обучению, под частные задачи многообразных потенциальных потребителей? И на каких принципах основана (если она есть) интеллектуальность PVS-Studio?
Приятно удивило что оказывается есть беЗплатная версия PVS-Studio надо будет попробовать (https://habrahabr.ru/company/pvs-studio/blog/316484/)
Всего Вам доброго!
Кроме того прочитав в статье «Svace — это статический анализатор кода, разрабатываемый в ИСП РАН при финансировании компании Samsung и специализированный на поиске ошибок в операционной системе Tizen.» и посмотрев ролик с конференции с молодыми девицами у стенда, складывается впечатление что данная конференция это не только обмен опытом, а ещё маркетинговая рекламная компания, а зачем конкуренты. И в рыночной экономике это обычное дело, тем более гос. структура всегда мощнее начинающего частного капитала.
Из замечаний рецензентов понятно, что в статье они увидели много практических примеров, но не увидели теоретической базы, обобщения для общего случая, например, для различных языков программирования. Построение подобных лингвистических моделей и обобщение достаточно непростое дело и с практикой решения частных задач может пересекаться лишь условно. Но для построения теории и развития направления, подобные модели могут быть полезны.
Прочитав статью сразу возникает вопрос: а как PVS-Studio работает с условно нестандартным C и С++, созданным, например, для микроконтроллеров Atmel в среде AVR Studio или для STM Keil или для g++?
Сейчас рынок встраиваемых систем, IoT, мобильных систем, например, на ядрах ARM и др. это достаточно большой и непрерывно растущий рынок. И при этом есть многообразие компиляторов, сред разработки многие из которых значительно отходят от стандартов C, C++ и даже изменяют рекомендованный производителем набор нимоник ассемблера.
Т.е. насколько PVS-Studio «интеллектуальна» и способно к самостоятельному обучению, под частные задачи многообразных потенциальных потребителей? И на каких принципах основана (если она есть) интеллектуальность PVS-Studio?
Приятно удивило что оказывается есть беЗплатная версия PVS-Studio надо будет попробовать (https://habrahabr.ru/company/pvs-studio/blog/316484/)
Всего Вам доброго!
+3
а как PVS-Studio работает… для микроконтроллеров
Отлично работает (на тестах у нас)! В следующем году релизим поддержку embedded-систем.
0
«Молодые девицы у стенда» — научные сотрудники института, если что.
Вот пара тем их работ из последних: «Development of OpenFOAM solver for compressible viscous flows simulation using quasi-gas dynamic equations»; «An Implementation of Hybrid CFD/BEM Technology For Prediction Acoustic Environments Using Open-Source Software»
Вот пара тем их работ из последних: «Development of OpenFOAM solver for compressible viscous flows simulation using quasi-gas dynamic equations»; «An Implementation of Hybrid CFD/BEM Technology For Prediction Acoustic Environments Using Open-Source Software»
0
Прочитав статью сразу возникает вопрос: а как PVS-Studio работает с условно нестандартным C и С++, созданным, например, для микроконтроллеров Atmel в среде AVR Studio или для STM Keil или для g++?Мы пришли в мир микроконтроллеров. Первая статья на эту тему: Статический анализатор кода PVS-Studio 6.22 адаптирован для ARM-компиляторов (Keil, IAR).
Сейчас рынок встраиваемых систем, IoT, мобильных систем, например, на ядрах ARM и др. это достаточно большой и непрерывно растущий рынок.
0
НЛО прилетело и опубликовало эту надпись здесь
«Если ругаться на все подряд, то обязательно найдешь ошибку» — девиз разработчиков PVS-Studio.
-5
Нет, у нас как раз другая Философия статического анализатора PVS-Studio.
+8
Зарегистрируйтесь на Хабре , чтобы оставить комментарий
О PVS-Studio в преддверии открытой конференции ИСП РАН им. В.П. Иванникова