The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]

Представлены результаты автоматизированной проверки кода ReactOS

02.04.2013 17:36

Опубликованы результаты статического анализа кода проекта ReactOS, в рамках которого развивается операционная система с открытым исходным кодом, нацеленная на обеспечение совместимости с программами и драйверами Microsoft Windows семейства NT (XP/2003). В результате проверки кода в проприетарном анализаторе PVS-Studio было выявлено 4887 предупреждений. В статье на примерах рассмотрены типичные ошибки, которые были выявлены в ReactOS, такие как опечатки при присвоении значений и определения условных операторов, разыменовывание нулевого указателя, некорректное использование макросов, заведомо ложные/истинные условия, ошибки задания формата, выход за границы массива и т.п.

  1. Главная ссылка к новости (http://www.viva64.com/ru/b/019...)
Лицензия: CC-BY
Тип: яз. русский / Практикум
Короткая ссылка: https://opennet.ru/36557-reactos
Ключевые слова: reactos
При перепечатке указание ссылки на opennet.ru обязательно
Обсуждение (32) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.1, Анонимация (?), 19:12, 02/04/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Вот-бы исходники шиндовс проверить
     
     
  • 2.2, VolanD (ok), 19:16, 02/04/2013 [^] [^^] [^^^] [ответить]  
  • +5 +/
    Она то хоть работает...
     
     
  • 3.3, Аноним (-), 19:56, 02/04/2013 [^] [^^] [^^^] [ответить]  
  • +/
    Это Windows-то работает? Ну Вы - оптимист.
     
     
  • 4.4, VolanD (ok), 19:59, 02/04/2013 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Это Windows-то работает? Ну Вы - оптимист.

    У меня работает, ЧЯДНТ? Или вы предлагаете РеактОС поставить взамен?

     
     
  • 5.11, rshadow (ok), 23:40, 02/04/2013 [^] [^^] [^^^] [ответить]  
  • –5 +/
    лучше б не работало. нервы целее были ли бы.
     
     
  • 6.23, VolanD (ok), 10:03, 03/04/2013 [^] [^^] [^^^] [ответить]  
  • +/
    > лучше б не работало. нервы целее были ли бы.

    Зависть, да? ))

     
  • 5.18, Аноним (-), 05:15, 03/04/2013 [^] [^^] [^^^] [ответить]  
  • +4 +/
    > У меня работает, ЧЯДНТ?

    Как-то он конечно работает. Вопрос в том, как. Вон в 2012 сервере - планшетный интерфейс сделали. Вот это я понимаю - в редмонде дружно упоролись сразу всем офисом.

     
     
  • 6.25, arrr (?), 10:53, 03/04/2013 [^] [^^] [^^^] [ответить]  
  • +1 +/
    так я не понял, что теперь? после того как у win2012 появился планшетный интерфейс он теперь постоянно падает или вовсе не работает? в чём проблема то?
     
  • 4.5, Аноным (ok), 20:03, 02/04/2013 [^] [^^] [^^^] [ответить]  
  • –4 +/
    У меня даже хлеще, Винда на десктопе работает, а Линукс нет. Хотя на нетбуке обратная ситуация. От железа зависит.
     
     
  • 5.12, rshadow (ok), 23:40, 02/04/2013 [^] [^^] [^^^] [ответить]  
  • –1 +/
    а железо зависит от хозяина. чуете подвох?
     
     
  • 6.15, Аноным (ok), 23:55, 02/04/2013 [^] [^^] [^^^] [ответить]  
  • –6 +/
    Не я его делал и к тому же раз на Винде работает, то с самим железом всё хорошо. В общем уточню, что под железом подразумевалась его поддержка со стороны ОС.
     
     
  • 7.20, ананим (?), 06:33, 03/04/2013 [^] [^^] [^^^] [ответить]  
  • +3 +/
    >Не я его делал и к тому же раз на Винде работает, то с самим железом всё хорошо. 

    Распространённое заблуждение.
    Это если на ЛИНУХЕ работает, то с железом всё хорошо и оно соответсвует спецификациям.
    А если только на винде, то в 99% случаев железо кастрировано для удешевления и в виндовых проприетарных дровах сделаны костыли-воркэраунды для обхода не достающей части.

    Сколько раз такое уже было. По спекам должно если так, то выдает это, если вот так, то это.
    Смотришь, не работает. Лезешь в винду, а там на эту облегчённую карту драйвер(не железо!) всегда выдаёт только это.
    Зато порш 100500 GTS+++ Super (и с маленькой m на хвосте. Но ктож её читает). А он банально только на одной скорости ездит.

     
  • 2.6, bugmenot (ok), 20:19, 02/04/2013 [^] [^^] [^^^] [ответить]  
  • +/
    В M$ Шindows настолько все заиндусокодено, что любой автоматизированный проверяльщик голову сломает.
    Надеюсь кроме рекламы  PVS-Studio это принесет хоть какую-то пользу ReactOS ^_^
     
     
  • 3.7, Аноным (ok), 20:22, 02/04/2013 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Лично проверили?
     
     
  • 4.8, bugmenot (ok), 20:26, 02/04/2013 [^] [^^] [^^^] [ответить]  
  • –3 +/
    Аксима не требует доказательства:
    через жопу работающее программное обеспечение - кривое везде....
     
     
  • 5.9, Аноным (ok), 20:32, 02/04/2013 [^] [^^] [^^^] [ответить]  
  • +/
    Аминь?
     
     
  • 6.21, ананим (?), 06:41, 03/04/2013 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Там cтолько вынь-специфик, что си на сишарп больше похож.
    Когда idl встроили прямо в исходник си (кто атл видел, тот поймёт), я решил что с этой конторой надо кончать.
    загули atl+idl
     
  • 5.13, linux must _RIP_ (?), 23:43, 02/04/2013 [^] [^^] [^^^] [ответить]  
  • +1 +/
    аксиома? с таким же успехом - можно задать себе аксиому - ядро Linux дыряво и глюкаво по самые уши.
    Достаточно только посмотреть на ченжлоги стабильных релизов :)
     
     
  • 6.14, Led (ok), 23:49, 02/04/2013 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Достаточно только посмотреть на ченжлоги стабильных релизов :)

    Это ты про вашу Оракловскую джаву?

     
     
  • 7.22, ананим (?), 06:44, 03/04/2013 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Слухи. Скандалы. Расследования.
    Рипнутый не с ораклоида. А жабист тут один. Нехрен хлеб отбивать.
     
  • 4.16, Аноним (-), 05:09, 03/04/2013 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > Лично проверили?

    Исходник винды утек в сеть. И да, проще на брейнфаке научиться программировать чем в этом разобраться. У реактоса сорец раз в 20 проще и понятнее.

     
     
  • 5.19, VolanD (ok), 05:19, 03/04/2013 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > У реактоса сорец раз в 20 проще и понятнее.

    Ну это тогда все меняет. Срочно ставим!

     
  • 5.29, angra (ok), 17:49, 03/04/2013 [^] [^^] [^^^] [ответить]  
  • +1 +/
    Вы прослушали очередное сообщение от агентства ОБС

     

  • 1.10, vinke (?), 23:32, 02/04/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    реактос идёт к успеху! кажется они среверсинжинирили майкрософтовский индокод.
     
     
  • 2.17, Аноним (-), 05:10, 03/04/2013 [^] [^^] [^^^] [ответить]  
  • –1 +/
    > реактос идёт к успеху! кажется они среверсинжинирили майкрософтовский индокод.

    Теперь у них будет свой индокод, с блекджеком и шлюхами.

     

  • 1.24, psevdozebra (?), 10:52, 03/04/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • +2 +/
    Для чего эти люди ЭТИМ занимаються?
     
     
  • 2.26, Аноним (-), 16:25, 03/04/2013 [^] [^^] [^^^] [ответить]  
  • +/
    Реклама PVS-Studio.
     
  • 2.27, Аноним (-), 16:46, 03/04/2013 [^] [^^] [^^^] [ответить]  
  • –1 +/
    Чукча не читатель? Два первых предложения по ссылке:

    > Проект ReactOS активно продолжает развиваться. Один из разработчиков, участвующий в этом проекте, предложил вновь проверить исходный код, так как кодовая база быстро увеличивается.

     

  • 1.28, Аноним (-), 17:05, 03/04/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    Достаточно интересно. Статические анализаторы стали уже must use.
    С одной стороны, ошибки довольно тупые, с другой стороны - в своей массе не очень опасные. Да и мало их, пожалуй, для такого проекта.
     
  • 1.30, Adblog (ok), 17:10, 04/04/2013 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Уже который год этот реактос пилят, а воз и ныне там. И что самое удивительное - все это при вполне работоспособном wine из которого они вовсю копипастят код. Чем они там вообще занимаются столько лет?
     
     
  • 2.31, VolanD (ok), 05:03, 05/04/2013 [^] [^^] [^^^] [ответить]  
  • +1 +/
    > Уже который год этот реактос пилят, а воз и ныне там. И
    > что самое удивительное - все это при вполне работоспособном wine из
    > которого они вовсю копипастят код. Чем они там вообще занимаются столько
    > лет?

    Ну вы сами сказали, копипастят код из wine, очевидно же )))

     
  • 2.32, arisu (ok), 20:48, 05/04/2013 [^] [^^] [^^^] [ответить]  
  • +/
    > Чем они там вообще занимаются столько лет?

    усердно догоняют устаревшую систему с весьма спорным дизайном.

     
     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Спонсоры:
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2021 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру