forum.opennet.ru - "Результаты проверки кода операционной системы Haiku c помощь..." (48)

форумы

помощь

поиск

регистрация

майллист

вход/выход

слежка

"Результаты проверки кода операционной системы Haiku c помощь..."

Форум Разговоры, обсуждение новостей
Вариант для распечатки		Пред. тема \| След. тема
Изначальное сообщение		[ Отслеживать ]

"Результаты проверки кода операционной системы Haiku c помощь..."	+/–
Сообщение от opennews on 01-Май-15, 12:51
Команда PVS–Studio, которая разрабатывает коммерческий статический анализатор C/C++ кода, проверила исходный код Haiku и опубликовала статью (часть 1 (http://www.viva64.com/ru/b/0317/), часть 2 (http://www.viva64.com/ru/b/0318/)) с обзором подозрительных участков исходного кода. Начиная с ревизии hrev49129 (пакетное обновление OS) командой разработчиков Haiku начато устранение выявленных ошибок. В ядре OS ошибок не выявлено. Из других открытых проектов, которые недавно были проверены в системе статического анализа PVS-Studio можно отметить: САПР FreeCAD (http://www.viva64.com/ru/b/0322/), игровой движок Godot (http://www.viva64.com/ru/b/0321/), текстовый редактор Vim (http://www.viva64.com/ru/b/0311/), офисный пакет LibreOffice (http://www.viva64.com/ru/b/0308/), ядро Linux (http://www.viva64.com/ru/b/0299/), библиотека NSS (http://www.viva64.com/ru/b/0286/), пользовательское окружение KDE (http://www.viva64.com/ru/b/0283/), VirtualBox (часть 1 (http://www.viva64.com/ru/b/0281/), часть 2 (http://www.viva64.com/ru/b/0282/)), PHP (http://www.viva64.com/ru/b/0277/), Asterisk (http://www.viva64.com/ru/b/0276/), GIMP (http://www.viva64.com/ru/b/0273/), Wine (http://www.viva64.com/ru/b/0272/), Firefox (http://www.viva64.com/ru/b/0262/), Qt (http://www.viva64.com/ru/b/0251/), OpenSSL (http://www.viva64.com/ru/b/0250/), nginx (http://www.viva64.com/ru/b/0246/) (ошибок не найдено!). URL: http://www.haiku-os.org/news/2015-04-22_analysis_haiku_opera... Новость: https://www.opennet.ru/opennews/art.shtml?num=42144
Ответить \| Правка \| Cообщить модератору

Оглавление

Результаты проверки кода операционной системы Haiku c помощь..., Baz, 12:51 , 01-Май-15, (1) +16
Результаты проверки кода операционной системы Haiku c помощь..., A.Stahl, 12:52 , 01-Май-15, (2) –1

Результаты проверки кода операционной системы Haiku c помощь..., ligurio, 12:58 , 01-Май-15, (4) +19

Результаты проверки кода операционной системы Haiku c помощь..., annualslayer, 13:06 , 01-Май-15, (7) +5

Результаты проверки кода операционной системы Haiku c помощь..., Аноним, 14:23 , 01-Май-15, (21) –1

Результаты проверки кода операционной системы Haiku c помощь..., Аноним, 18:26 , 01-Май-15, (30)

Результаты проверки кода операционной системы Haiku c помощь..., _KUL, 13:49 , 01-Май-15, (19) +18
Результаты проверки кода операционной системы Haiku c помощь..., Аноним, 18:21 , 01-Май-15, (29) +3

Результаты проверки кода операционной системы Haiku c помощь..., Сырна, 15:04 , 01-Май-15, (24) +4
Результаты проверки кода операционной системы Haiku c помощь..., Michael Shigorin, 20:41 , 01-Май-15, (36) +1

Результаты проверки кода операционной системы Haiku c помощь..., Аноним, 23:48 , 01-Май-15, (41) –1

Результаты проверки кода операционной системы Haiku c помощь..., Аноним, 13:01 , 01-Май-15, (6) +2

Результаты проверки кода операционной системы Haiku c помощь..., Аноним, 13:08 , 01-Май-15, (8) +22
Результаты проверки кода операционной системы Haiku c помощь..., анонимоус, 13:55 , 01-Май-15, (20) +4

Результаты статического анализа кода операционной системы Ha..., Аноним, 13:13 , 01-Май-15, (10)

Результаты статического анализа кода операционной системы Ha..., anonymous, 13:24 , 01-Май-15, (11) +2
Результаты статического анализа кода операционной системы Ha..., A.Stahl, 13:25 , 01-Май-15, (12) +1

Результаты статического анализа кода операционной системы Ha..., Аноним, 13:33 , 01-Май-15, (14) +1

Результаты статического анализа кода операционной системы Ha..., anonymous, 13:35 , 01-Май-15, (15) +1
Результаты статического анализа кода операционной системы Ha..., www2, 18:28 , 01-Май-15, (31) +5

Результаты статического анализа кода операционной системы Ha..., Ytch, 18:25 , 03-Май-15, (65)

Результаты статического анализа кода операционной системы Ha..., Аноним, 13:40 , 01-Май-15, (16) –2

Результаты статического анализа кода операционной системы Ha..., Аноним, 14:35 , 02-Май-15, (52)

Результаты статического анализа кода операционной системы Ha..., Аноним, 13:43 , 01-Май-15, (17)

Результаты статического анализа кода операционной системы Ha..., Аноним, 19:25 , 01-Май-15, (32)

Результаты статического анализа кода операционной системы Ha..., dr Equivalent, 23:08 , 01-Май-15, (40)

Результаты статического анализа кода операционной системы Ha..., Аноним, 23:49 , 01-Май-15, (42)

Результаты статического анализа кода операционной системы Ha..., dr Equivalent, 23:50 , 01-Май-15, (43)
Результаты статического анализа кода операционной системы Ha..., Аноним, 23:57 , 01-Май-15, (46)

Результаты статического анализа кода операционной системы Ha..., Vkni, 05:33 , 02-Май-15, (48)

Результаты статического анализа кода операционной системы Ha..., Аноним, 14:39 , 02-Май-15, (53)

Результаты статического анализа кода операционной системы Ha..., Vkni, 18:27 , 02-Май-15, (55) +1

Результаты статического анализа кода операционной системы Ha..., HaikuOS_user, 07:14 , 02-Май-15, (49)

Результаты статического анализа кода операционной системы Ha..., dr Equivalent, 18:31 , 02-Май-15, (56)

Результаты статического анализа кода операционной системы Ha..., HaikuOS_user, 04:17 , 03-Май-15, (61)

Результаты статического анализа кода операционной системы Ha..., dr Equivalent, 04:29 , 03-Май-15, (62) –1
Результаты статического анализа кода операционной системы Ha..., HaikuOS_user, 05:47 , 03-Май-15, (63) +1

Результаты статического анализа кода операционной системы Ha..., Аноним, 23:52 , 01-Май-15, (44)
Результаты статического анализа кода операционной системы Ha..., Манюнин гусь, 08:40 , 02-Май-15, (50)
Результаты статического анализа кода операционной системы Ha..., Аноним, 18:51 , 02-Май-15, (57) –1

Результаты статического анализа кода операционной системы Ha..., dr Equivalent, 19:06 , 02-Май-15, (58) +1
Результаты статического анализа кода операционной системы Ha..., scorry, 15:22 , 03-Май-15, (64) +2

Результаты статического анализа кода операционной системы Ha..., Аноним, 14:25 , 01-Май-15, (22)

Результаты статического анализа кода операционной системы Ha..., Аноним, 17:41 , 01-Май-15, (27) +2

Результаты статического анализа кода операционной системы Ha..., Baz, 16:01 , 01-Май-15, (25)

Результаты статического анализа кода операционной системы Ha..., Аноним, 23:53 , 01-Май-15, (45)
Результаты статического анализа кода операционной системы Ha..., maximnik0, 21:12 , 02-Май-15, (60) +2
про Эльбрус, oopsy, 02:46 , 07-Май-15, (66)

Сообщения по теме [Сортировка по времени | RSS]

1. "Результаты проверки кода операционной системы Haiku c помощь..." +16 +/–

Сообщение от Baz on 01-Май-15, 12:51

"видишь ошибки в коде? и я не вижу, а они есть..."

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

2. "Результаты проверки кода операционной системы Haiku c помощь..." –1 +/–

Сообщение от A.Stahl (ok) on 01-Май-15, 12:52

>PVS–Studio
Что-то вы активизировались последнее время. Куда ни глянь -- ваша реклама. Что-то случилось? Или должно в скором времени случиться?

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

4. "Результаты проверки кода операционной системы Haiku c помощь..." +19 +/–

Сообщение от ligurio (??) on 01-Май-15, 12:58

Ребята рекламируют свой продукт проверяя исходный код открытых проектов. Разве это плохо?

Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

7. "Результаты проверки кода операционной системы Haiku c помощь..." +5 +/–

Сообщение от annualslayer (ok) on 01-Май-15, 13:06

стоит добавить, что это не просто запуск порверки, но и много ручной работы по разбору

Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

21. "Результаты проверки кода операционной системы Haiku c помощь..." –1 +/–

Сообщение от Аноним (??) on 01-Май-15, 14:23

Мазохисты...

Ответить | Правка | ^ к родителю #7 | Наверх | Cообщить модератору

30. "Результаты проверки кода операционной системы Haiku c помощь..." +/–

Сообщение от Аноним (??) on 01-Май-15, 18:26

Угу, они еще и UEFI не запилили...  http://www.youtube.com/user/1wqwqdedw

Ответить | Правка | ^ к родителю #21 | Наверх | Cообщить модератору

19. "Результаты проверки кода операционной системы Haiku c помощь..." +18 +/–

Сообщение от _KUL (ok) on 01-Май-15, 13:49

Это самая ПОЛЕЗНАЯ реклама, которую я только видел. Может быть менеджеры других компаний возьмут на прицел данную технику и тогда мир станет немного светлее...

Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

29. "Результаты проверки кода операционной системы Haiku c помощь..." +3 +/–

Сообщение от Аноним (??) on 01-Май-15, 18:21

Проверка открытых проектов бесплатно, а закрытых за денежку. Одобрямс.

Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

24. "Результаты проверки кода операционной системы Haiku c помощь..." +4 +/–

Сообщение от Сырна (ok) on 01-Май-15, 15:04

Автор новости — энтузиаст от Haiku, а не представитель компании, выпускающей PVS-Studio.

Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

36. "Результаты проверки кода операционной системы Haiku c помощь..." +1 +/–

Сообщение от Michael Shigorin (ok) on 01-Май-15, 20:41

> Что-то вы активизировались последнее время.
Хорошие ребята.  А что слышно стало -- так это ж тоже хорошо, я вон о них узнал при личном столкновении то ли на ADDConf, то ли на ещё какой конференции...

Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

41. "Результаты проверки кода операционной системы Haiku c помощь..." –1 +/–

Сообщение от Аноним (??) on 01-Май-15, 23:48

> Хорошие ребята.
...но работенку делают грязноватую. Потому что эта их софтина - не только проприетарная, но и работает только под виндой. А даже упырь Баллмер - понимал, что developers, developers, developers.
И эти "хорошие" ребята как-то так способствуют залочиванию разработчиков на винду.

Ответить | Правка | ^ к родителю #36 | Наверх | Cообщить модератору

6. "Результаты проверки кода операционной системы Haiku c помощь..." +2 +/–

Сообщение от Аноним (??) on 01-Май-15, 13:01

Проверьте пожалуйста ReactOS

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

8. "Результаты проверки кода операционной системы Haiku c помощь..." +22 +/–

Сообщение от Аноним (??) on 01-Май-15, 13:08

Думаете, они найдут код среди ошибок?

Ответить | Правка | ^ к родителю #6 | Наверх | Cообщить модератору

20. "Результаты проверки кода операционной системы Haiku c помощь..." +4 +/–

Сообщение от анонимоус on 01-Май-15, 13:55

С разморозкой http://www.viva64.com/ru/a/0076/

Ответить | Правка | ^ к родителю #6 | Наверх | Cообщить модератору

10. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от Аноним (??) on 01-Май-15, 13:13

Я конечно за отечественные продукты, но есть и другой статический анализатор он тоже нашими спецами разрабатывается и к тому же бесплатный

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

11. "Результаты статического анализа кода операционной системы Ha..." +2 +/–

Сообщение от anonymous (??) on 01-Май-15, 13:24

Это какой же? CPP-Check?

Ответить | Правка | ^ к родителю #10 | Наверх | Cообщить модератору

12. "Результаты статического анализа кода операционной системы Ha..." +1 +/–

Сообщение от A.Stahl (ok) on 01-Май-15, 13:25

Какой? Можешь уже не стесняться -- тред-то уже по факту рекламный. Может то, о чём ты говоришь, ещё и на нормальных ОС работает.

Ответить | Правка | ^ к родителю #10 | Наверх | Cообщить модератору

14. "Результаты статического анализа кода операционной системы Ha..." +1 +/–

Сообщение от Аноним (??) on 01-Май-15, 13:33

> Какой? Можешь уже не стесняться -- тред-то уже по факту рекламный. Может
> то, о чём ты говоришь ещё и на нормальных ОС работает.
Вам наверное он не подойдет, дабы он работает только с Си: Berkeley Lazy Abstraction Software Verification Tool (BLAST)
Сейчас его поддерживает ИСП РАН

Ответить | Правка | ^ к родителю #12 | Наверх | Cообщить модератору

15. "Результаты статического анализа кода операционной системы Ha..." +1 +/–

Сообщение от anonymous (??) on 01-Май-15, 13:35

>> Какой? Можешь уже не стесняться -- тред-то уже по факту рекламный. Может
>> то, о чём ты говоришь ещё и на нормальных ОС работает.
> Вам наверное он не подойдет, дабы он работает только с Си: Berkeley
> Lazy Abstraction Software Verification Tool (BLAST)
> Сейчас его поддерживает ИСП РАН
Спасибо за информацию

Ответить | Правка | ^ к родителю #14 | Наверх | Cообщить модератору

31. "Результаты статического анализа кода операционной системы Ha..." +5 +/–

Сообщение от www2 (ok) on 01-Май-15, 18:28

дабы - это чтобы, а не потому что.

Ответить | Правка | ^ к родителю #14 | Наверх | Cообщить модератору

65. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от Ytch (ok) on 03-Май-15, 18:25

"потому что" - это ибо ))
"чтоб нонче да надысь перепутать - нет" (с)

Ответить | Правка | ^ к родителю #31 | Наверх | Cообщить модератору

16. "Результаты статического анализа кода операционной системы Ha..." –2 +/–

Сообщение от Аноним (??) on 01-Май-15, 13:40

Ядро без ошибок и подозрительного кода - факт примечательный. Линукс ядро оказалось весьма подозрительным кодом.. http://www.linux.org.ru/news/kernel/11210932

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

52. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от Аноним (??) on 02-Май-15, 14:35

> Ядро без ошибок и подозрительного кода - факт примечательный. Линукс ядро оказалось
> весьма подозрительным кодом.. http://www.linux.org.ru/news/kernel/11210932
ЧСХ, там Coverity гоняют чартерными рейсами, на каждое ядро. И PVS гоняли. В общем там подозрительного для статических анализаторов кода здорово поубавилось.

Ответить | Правка | ^ к родителю #16 | Наверх | Cообщить модератору

17. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от Аноним (??) on 01-Май-15, 13:43

Ооо, оно (Haiku) даж работает http://www.youtube.com/user/1wqwqdedw

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

32. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от Аноним (??) on 01-Май-15, 19:25

конечно.
у многих уже начиная с R2 на ноутах стоит.
правда с частью железа(принтеры итп) оно дружит слабо, но в целом - вполне работоспособно.
лучшая десктоп-Ось за последние 15 лет.
qnx все-ж в эмбеддовке место.
стрекоза пока молодовата а seL4 профита дает пожиже чем любой из них, пусть и привычен многим.

Ответить | Правка | ^ к родителю #17 | Наверх | Cообщить модератору

40. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от dr Equivalent (ok) on 01-Май-15, 23:08

Не, чувак, я, конечно, тоже беось люблю, я с нее и начинал (мой первый около-юникс), но сейчас это - маргинальщина маргинальная.
Дров нет, софта нет, нихъя нет, в мультиюзерность не может, зато технологически интересная, да.
"лучшая десктоп-Ось за последние 15 лет" она была 15 лет назад.
Конечно, желаю всех благ проекту, но Линух ей уже не догнать, несмотря на все его болячки.
К слову, qnx прилично пашет в одной блэкберриевской трубке.

Ответить | Правка | ^ к родителю #32 | Наверх | Cообщить модератору

42. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от Аноним (??) on 01-Май-15, 23:49

Ну, гайка-то, по крайней мере, работоспособна в отличие от всяких хурдов и прочих реактосов.

Ответить | Правка | ^ к родителю #40 | Наверх | Cообщить модератору

43. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от dr Equivalent (ok) on 01-Май-15, 23:50

Мм-м. Да, согласен.

Ответить | Правка | ^ к родителю #42 | Наверх | Cообщить модератору

46. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от Аноним (??) on 01-Май-15, 23:57

> Ну, гайка-то, по крайней мере, работоспособна в отличие от всяких хурдов и
> прочих реактосов.
И правда, свежий зомбячок, резвенький. Но - гвоздями прибит к десктопу, разработчики страдают махровой некромансией и таскают ископаемый gcc, ради полутора не менее ископаемых проприетарных программ, которые даже купить легально уже невозможно. В общем, desktop-only система с самобытным апи, без поддержки софта и оборудования и с переклином на совместимость с какй-то проприетарной архаикой - это как чемодан без ручки.

Ответить | Правка | ^ к родителю #42 | Наверх | Cообщить модератору

48. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от Vkni (ok) on 02-Май-15, 05:33

> Но - гвоздями прибит к десктопу
У неё, с одной стороны, великолепный десктопный планировщик ЦП, с другой стороны, совершенно невозможно поставить мозаичный оконный менеджер.

Ответить | Правка | ^ к родителю #46 | Наверх | Cообщить модератору

53. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от Аноним (??) on 02-Май-15, 14:39

> У неё, с одной стороны, великолепный десктопный планировщик ЦП,
С другой стороны я и на другие системы не жаловался. В плане именно планировщика ЦП. А всякое там IO, которое обычно намного более злободневно - его вообще планировать сложно, особенно для механических дисков всяких.
В смысле - я даже и не помню момента чтобы у меня например DE в проц упиралось и как-то недополучало бы ресурсы проца.
> с другой стороны, совершенно невозможно поставить мозаичный оконный менеджер.
...или обрубить на...й DE, если оно мне не упало. Случаи бывают разные. В том числе - неинтерактивные/автоматические применения, эмбедовка, etc. Это мне что - разучивать дюжину разных осей на разные задачи? Да провались оно все, вертикальное масштабирование рулит.

Ответить | Правка | ^ к родителю #48 | Наверх | Cообщить модератору

55. "Результаты статического анализа кода операционной системы Ha..." +1 +/–

Сообщение от Vkni (ok) on 02-Май-15, 18:27

> С другой стороны я и на другие системы не жаловался. В плане именно планировщика ЦП.
Ну, Винды, даже NT - это характернейший пример плохого планировщика. Под Линуксом тоже изредка лаги получаются.
> ...или обрубить на...й DE, если оно мне не упало.
Она всё-таки десктопная. Поэтому отрубание DE и графики - это не то, на что она рассчитана. А вот смена DE на более удобную для себя - это совершенно в рамках десктопного использования.

Ответить | Правка | ^ к родителю #53 | Наверх | Cообщить модератору

49. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от HaikuOS_user on 02-Май-15, 07:14

Софта достаточно - Qt 4 , Qt 5, openjava и нативный (gcc4  и gcc2). В официальном гибриде прекрасно работают бинарники, собранные и gcc4 и gcc2. Репозитории с пакетами имеются. Обновление  ревизии ос пакетным менеджером с инета -  http://www.youtube.com/user/1wqwqdedw для наглядности...

Ответить | Правка | ^ к родителю #46 | Наверх | Cообщить модератору

56. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от dr Equivalent (ok) on 02-Май-15, 18:31

Сколько раз ты эту ссылку в этом треде кинул?
Никто не сомневается, что ось крутая. Но она сейчас в реальном мире, где людям окромя игр с микроядром, надо работу работать, не настолько полезна. Вот напиши мне на гайке курсовик или отчет какой. Не получится, потому что вменяемого офиса нету. (и не надо про ThinkFree office, ибо проприетарщина, несчетово) Отретушируй фотографию/нарисуй что-нибудь с планшета - тоже пролетаем, гимпа нема, да и планшет не понимаем.
И это десктопные задачи, для которых беось и была создана. Лет 25 назад.
Не, для каких-нибудь микрозадач оно подходит хорошо: ест мало, программам оставляет ресурсов много - у меня на ней пункт видеонаблюдения работает, к примеру. Но пока до универсальности (а значит, полезности) Линуха - как до Луны пешком.

Ответить | Правка | ^ к родителю #49 | Наверх | Cообщить модератору

61. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от HaikuOS_user on 03-Май-15, 04:17

http://www.youtube.com/watch?v=NMSkGSdicjM
http://www.youtube.com/watch?v=h3rg1RLAxGU

Ответить | Правка | ^ к родителю #56 | Наверх | Cообщить модератору

62. "Результаты статического анализа кода операционной системы Ha..." –1 +/–

Сообщение от dr Equivalent (ok) on 03-Май-15, 04:29

> http://www.youtube.com/watch?v=NMSkGSdicjM
> http://www.youtube.com/watch?v=h3rg1RLAxGU
> ThinkFree office
> Wonderbrush
> Еще что-то такое было
Проприетара - несчетово.
> Старые КДЕшные проги
Говно мамонта.
> Все, что на Java
Фу.
Ну а так, да, мы можем смотреть картинки и качать торренты, ну и малевать в подобии пейнта. Это не спектр задач современного десктопа.

Ответить | Правка | ^ к родителю #61 | Наверх | Cообщить модератору

63. "Результаты статического анализа кода операционной системы Ha..." +1 +/–

Сообщение от HaikuOS_user on 03-Май-15, 05:47

Ну а так, да, мы можем смотреть картинки и качать торренты, ну и малевать в подобии пейнта. Это не спектр задач современного десктопа.
А тут поподробнее, плиззз.. Про спектр задач современного десктопа. ;))

Ответить | Правка | ^ к родителю #61 | Наверх | Cообщить модератору

44. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от Аноним (??) on 01-Май-15, 23:52

> qnx прилично пашет в одной блэкберриевской трубке.
Вот только поскольку "микроядра не тормозят" - блэкберри были вынуждены брать дорогое топовое железо, долго сношаться с управлением питанием, а результат... если Нокию пришлось экстренно саботировать, то Блэкберри и сам не против околеть.

Ответить | Правка | ^ к родителю #40 | Наверх | Cообщить модератору

50. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от Манюнин гусь on 02-Май-15, 08:40

> К слову, qnx прилично пашет в одной блэкберриевской трубке.
от qnx там мало чего есть.

Ответить | Правка | ^ к родителю #40 | Наверх | Cообщить модератору

57. "Результаты статического анализа кода операционной системы Ha..." –1 +/–

Сообщение от Аноним (??) on 02-Май-15, 18:51

не, неправда.
щас в таком состоянии - разве что маргинальные штуковины вроде ReactOS, eCommstation(текущий форк OS/2), Minix и прочих чудесатых ОС-ей.
а Haiku - вполне юзабельно. и рядом корпоративных инженеров - используется на личных коробках и ноутах, во внеработчее время.
QNX много где пащет. от кучи спутников и атомных подлодок до магистральных маршрутизаторов циско, управления рядом АЭС, транспортом и производством до смартфонов RIM(но это недавно. уже после покупки оными QNX.)
Haiku - не надо догонять Linux.
это Linux - натужно пытается дотянуться до ее уровня с MacOS-ю.

Ответить | Правка | ^ к родителю #40 | Наверх | Cообщить модератору

58. "Результаты статического анализа кода операционной системы Ha..." +1 +/–

Сообщение от dr Equivalent (ok) on 02-Май-15, 19:06

> а Haiku - вполне юзабельно.
Никто не спорит о принципиальной юзабельности. Как я уже говорил, мне она самому нравится.
> и рядом корпоративных инженеров
Довольно небольшим рядом, но это не важно.
> используется на личных коробках и ноутах, во внеработчее время.
Ну если так, то во внерабочее время оно может использоваться хоть Васей Пупкиным, это не имеет значения, насколько он копроративный инженер. Я веду речь о жестоком холодном реальном мире.
А то получается как у бздунов - костьми ляжем за бздю, но работать почему-то все равно продолжаем на винде.
> Haiku - не надо догонять Linux.
> это Linux - натужно пытается дотянуться до ее уровня
Say what?
Не, я опять же понимаю, что мы маленькие и гордые, но реальность, бессердечная сука, путает все карты.
> с MacOS-ю.
Вот уж чего даром не надо, если честно. Кроме классного дизайна интерфейса (и то, до версии Mavericks - потом уже началось плоское нечто на любителя), в макоси нет ничего волшебного, оно еще более прожорливо и тормознуто чем эта ваша винда.

Ответить | Правка | ^ к родителю #57 | Наверх | Cообщить модератору

64. "Результаты статического анализа кода операционной системы Ha..." +2 +/–

Сообщение от scorry (ok) on 03-Май-15, 15:22

> это Linux - натужно пытается дотянуться до ее уровня с MacOS-ю.
Дружочек, это надо писать отдельным постом, шрифтом побольше и чтоб переливалось.
Ну, то есть не на этом форуме.

Ответить | Правка | ^ к родителю #57 | Наверх | Cообщить модератору

22. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от Аноним (??) on 01-Май-15, 14:25

Где новость про релиз нового Опенка, что за беспредел

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

27. "Результаты статического анализа кода операционной системы Ha..." +2 +/–

Сообщение от Аноним (??) on 01-Май-15, 17:41

Ты еще не составил - вот и нет.

Ответить | Правка | ^ к родителю #22 | Наверх | Cообщить модератору

25. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от Baz on 01-Май-15, 16:01

кстати, а где-то была статейка по томе, как Эльбрусы типа E2K сканировали "эталонный х86 код" на ошибки и что-то там нашли... это было в какой степени "правда"?

Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

45. "Результаты статического анализа кода операционной системы Ha..." +/–

Сообщение от Аноним (??) on 01-Май-15, 23:53

> в какой степени "правда"?
Это наверное не в степени, а в газете.

Ответить | Правка | ^ к родителю #25 | Наверх | Cообщить модератору

60. "Результаты статического анализа кода операционной системы Ha..." +2 +/–

Сообщение от maximnik0 on 02-Май-15, 21:12

> кстати, а где-то была статейка по томе, как Эльбрусы типа E2K сканировали
> "эталонный х86 код" на ошибки и что-то там нашли... это было
> в какой степени "правда"?
Читайте про контекстную аппаратную защиту реализованную на Эльбрусах .Контроль границ данных,контроль границ кода,контроль соответствия данных и кода,контроль интерфейса функции
и т.д . Часть защиты реализовано чисто аппаратно ,а часть аппаратно-программно ,с обязательной поддержкой  со стороны операционной системы .Приложения должна быть скомпилированы на специальной версии компилятора с поддержкой атрибутов защиты .И в рамках этих работ удалось выявить ряд ошибок для х86 кода .Подробно описано в книге ISBN 978-5-459-01697-0 (одно время выкладывали на  родном сайте компании  «МЦСТ» ) -Микропроцессоры и вычислительные комплексы семейства «Эльбрус» .

Ответить | Правка | ^ к родителю #25 | Наверх | Cообщить модератору

66. "про Эльбрус" +/–

Сообщение от oopsy on 07-Май-15, 02:46

Вот, например, ссылка на статью В.Ю.Волконского «Безопасная реализация языков программирования на базе аппаратной и системной поддержки» - http://mcst.ru/doc/SecureLanguagesImplementation-req_rus-200... . Возможно, что есть и другие статьи, но эта - первая в выдаче гугла.
С точки зрения вашего вопроса наиболее актуален раздел «3. Перенос программ в среду безопасной реализации языков программирования», в котором перечислен ряд проблем проявившихся при переносе программ на Эльбрус. Часть этих проблем это просто традиционные ошибки - использование неинициализированных переменных, выход за границу массива, сохранение указателей на локальные переменные в глобальные данные и т.п. Эти ошибки скорее всего обнаруживаемы с помощью статического либо динамического анализа кода на традиционных архитектурах, они время от времени проявляются в падении программ или получении неверного результата.
А часть проблем обусловлена тем, что в головах программистов довольно крепкое представление о том, что адрес в памяти - это просто номер ячейки. Это важный принцип архитектуры фон Неймана, и большинство платформ не противоречат такому представлению. Но Эльбрус радикально отличается в этом вопросе, там указатель является сложным объектом, и преобразование указателя в число или указателя на данные в указатель на функцию затруднено или невозможно.
эта часть проблем на традиционных x86/x86_64 никак не проявляется, но IMHO она вполне покрывается статическим анализом кода в стиле PVS-Studio. Напишите авторам студии, и если сумеете их заинтересовать то получите VivaElbrus ;)

Ответить | Правка | ^ к родителю #25 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру

1. "Результаты проверки кода операционной системы Haiku c помощь..."	+16 +/–
Сообщение от Baz on 01-Май-15, 12:51
"видишь ошибки в коде? и я не вижу, а они есть..."
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору

2. "Результаты проверки кода операционной системы Haiku c помощь..."	–1 +/–
Сообщение от A.Stahl (ok) on 01-Май-15, 12:52
>PVS–Studio Что-то вы активизировались последнее время. Куда ни глянь -- ваша реклама. Что-то случилось? Или должно в скором времени случиться?
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	4. "Результаты проверки кода операционной системы Haiku c помощь..."	+19 +/–
	Сообщение от ligurio (??) on 01-Май-15, 12:58
	Ребята рекламируют свой продукт проверяя исходный код открытых проектов. Разве это плохо?
	Ответить \| Правка \| ^ к родителю #2 \| Наверх \| Cообщить модератору


	7. "Результаты проверки кода операционной системы Haiku c помощь..."	+5 +/–
	Сообщение от annualslayer (ok) on 01-Май-15, 13:06
	стоит добавить, что это не просто запуск порверки, но и много ручной работы по разбору
	Ответить \| Правка \| ^ к родителю #4 \| Наверх \| Cообщить модератору


	21. "Результаты проверки кода операционной системы Haiku c помощь..."	–1 +/–
	Сообщение от Аноним (??) on 01-Май-15, 14:23
	Мазохисты...
	Ответить \| Правка \| ^ к родителю #7 \| Наверх \| Cообщить модератору


	30. "Результаты проверки кода операционной системы Haiku c помощь..."	+/–
	Сообщение от Аноним (??) on 01-Май-15, 18:26
	Угу, они еще и UEFI не запилили... http://www.youtube.com/user/1wqwqdedw
	Ответить \| Правка \| ^ к родителю #21 \| Наверх \| Cообщить модератору


	19. "Результаты проверки кода операционной системы Haiku c помощь..."	+18 +/–
	Сообщение от _KUL (ok) on 01-Май-15, 13:49
	Это самая ПОЛЕЗНАЯ реклама, которую я только видел. Может быть менеджеры других компаний возьмут на прицел данную технику и тогда мир станет немного светлее...
	Ответить \| Правка \| ^ к родителю #4 \| Наверх \| Cообщить модератору


	29. "Результаты проверки кода операционной системы Haiku c помощь..."	+3 +/–
	Сообщение от Аноним (??) on 01-Май-15, 18:21
	Проверка открытых проектов бесплатно, а закрытых за денежку. Одобрямс.
	Ответить \| Правка \| ^ к родителю #4 \| Наверх \| Cообщить модератору


	24. "Результаты проверки кода операционной системы Haiku c помощь..."	+4 +/–
	Сообщение от Сырна (ok) on 01-Май-15, 15:04
	Автор новости — энтузиаст от Haiku, а не представитель компании, выпускающей PVS-Studio.
	Ответить \| Правка \| ^ к родителю #2 \| Наверх \| Cообщить модератору


	36. "Результаты проверки кода операционной системы Haiku c помощь..."	+1 +/–
	Сообщение от Michael Shigorin (ok) on 01-Май-15, 20:41
	> Что-то вы активизировались последнее время. Хорошие ребята. А что слышно стало -- так это ж тоже хорошо, я вон о них узнал при личном столкновении то ли на ADDConf, то ли на ещё какой конференции...
	Ответить \| Правка \| ^ к родителю #2 \| Наверх \| Cообщить модератору


	41. "Результаты проверки кода операционной системы Haiku c помощь..."	–1 +/–
	Сообщение от Аноним (??) on 01-Май-15, 23:48
	> Хорошие ребята. ...но работенку делают грязноватую. Потому что эта их софтина - не только проприетарная, но и работает только под виндой. А даже упырь Баллмер - понимал, что developers, developers, developers. И эти "хорошие" ребята как-то так способствуют залочиванию разработчиков на винду.
	Ответить \| Правка \| ^ к родителю #36 \| Наверх \| Cообщить модератору

6. "Результаты проверки кода операционной системы Haiku c помощь..."	+2 +/–
Сообщение от Аноним (??) on 01-Май-15, 13:01
Проверьте пожалуйста ReactOS
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	8. "Результаты проверки кода операционной системы Haiku c помощь..."	+22 +/–
	Сообщение от Аноним (??) on 01-Май-15, 13:08
	Думаете, они найдут код среди ошибок?
	Ответить \| Правка \| ^ к родителю #6 \| Наверх \| Cообщить модератору


	20. "Результаты проверки кода операционной системы Haiku c помощь..."	+4 +/–
	Сообщение от анонимоус on 01-Май-15, 13:55
	С разморозкой http://www.viva64.com/ru/a/0076/
	Ответить \| Правка \| ^ к родителю #6 \| Наверх \| Cообщить модератору

10. "Результаты статического анализа кода операционной системы Ha..."	+/–
Сообщение от Аноним (??) on 01-Май-15, 13:13
Я конечно за отечественные продукты, но есть и другой статический анализатор он тоже нашими спецами разрабатывается и к тому же бесплатный
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	11. "Результаты статического анализа кода операционной системы Ha..."	+2 +/–
	Сообщение от anonymous (??) on 01-Май-15, 13:24
	Это какой же? CPP-Check?
	Ответить \| Правка \| ^ к родителю #10 \| Наверх \| Cообщить модератору


	12. "Результаты статического анализа кода операционной системы Ha..."	+1 +/–
	Сообщение от A.Stahl (ok) on 01-Май-15, 13:25
	Какой? Можешь уже не стесняться -- тред-то уже по факту рекламный. Может то, о чём ты говоришь, ещё и на нормальных ОС работает.
	Ответить \| Правка \| ^ к родителю #10 \| Наверх \| Cообщить модератору


	14. "Результаты статического анализа кода операционной системы Ha..."	+1 +/–
	Сообщение от Аноним (??) on 01-Май-15, 13:33
	> Какой? Можешь уже не стесняться -- тред-то уже по факту рекламный. Может > то, о чём ты говоришь ещё и на нормальных ОС работает. Вам наверное он не подойдет, дабы он работает только с Си: Berkeley Lazy Abstraction Software Verification Tool (BLAST) Сейчас его поддерживает ИСП РАН
	Ответить \| Правка \| ^ к родителю #12 \| Наверх \| Cообщить модератору


	15. "Результаты статического анализа кода операционной системы Ha..."	+1 +/–
	Сообщение от anonymous (??) on 01-Май-15, 13:35
	>> Какой? Можешь уже не стесняться -- тред-то уже по факту рекламный. Может >> то, о чём ты говоришь ещё и на нормальных ОС работает. > Вам наверное он не подойдет, дабы он работает только с Си: Berkeley > Lazy Abstraction Software Verification Tool (BLAST) > Сейчас его поддерживает ИСП РАН Спасибо за информацию
	Ответить \| Правка \| ^ к родителю #14 \| Наверх \| Cообщить модератору


	31. "Результаты статического анализа кода операционной системы Ha..."	+5 +/–
	Сообщение от www2 (ok) on 01-Май-15, 18:28
	дабы - это чтобы, а не потому что.
	Ответить \| Правка \| ^ к родителю #14 \| Наверх \| Cообщить модератору


	65. "Результаты статического анализа кода операционной системы Ha..."	+/–
	Сообщение от Ytch (ok) on 03-Май-15, 18:25
	"потому что" - это ибо )) "чтоб нонче да надысь перепутать - нет" (с)
	Ответить \| Правка \| ^ к родителю #31 \| Наверх \| Cообщить модератору

16. "Результаты статического анализа кода операционной системы Ha..."	–2 +/–
Сообщение от Аноним (??) on 01-Май-15, 13:40
Ядро без ошибок и подозрительного кода - факт примечательный. Линукс ядро оказалось весьма подозрительным кодом.. http://www.linux.org.ru/news/kernel/11210932
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	52. "Результаты статического анализа кода операционной системы Ha..."	+/–
	Сообщение от Аноним (??) on 02-Май-15, 14:35
	> Ядро без ошибок и подозрительного кода - факт примечательный. Линукс ядро оказалось > весьма подозрительным кодом.. http://www.linux.org.ru/news/kernel/11210932 ЧСХ, там Coverity гоняют чартерными рейсами, на каждое ядро. И PVS гоняли. В общем там подозрительного для статических анализаторов кода здорово поубавилось.
	Ответить \| Правка \| ^ к родителю #16 \| Наверх \| Cообщить модератору

17. "Результаты статического анализа кода операционной системы Ha..."	+/–
Сообщение от Аноним (??) on 01-Май-15, 13:43
Ооо, оно (Haiku) даж работает http://www.youtube.com/user/1wqwqdedw
Ответить \| Правка \| ^ к родителю #0 \| Наверх \| Cообщить модератору


	32. "Результаты статического анализа кода операционной системы Ha..."	+/–
	Сообщение от Аноним (??) on 01-Май-15, 19:25
	конечно. у многих уже начиная с R2 на ноутах стоит. правда с частью железа(принтеры итп) оно дружит слабо, но в целом - вполне работоспособно. лучшая десктоп-Ось за последние 15 лет. qnx все-ж в эмбеддовке место. стрекоза пока молодовата а seL4 профита дает пожиже чем любой из них, пусть и привычен многим.
	Ответить \| Правка \| ^ к родителю #17 \| Наверх \| Cообщить модератору


	40. "Результаты статического анализа кода операционной системы Ha..."	+/–
	Сообщение от dr Equivalent (ok) on 01-Май-15, 23:08
	Не, чувак, я, конечно, тоже беось люблю, я с нее и начинал (мой первый около-юникс), но сейчас это - маргинальщина маргинальная. Дров нет, софта нет, нихъя нет, в мультиюзерность не может, зато технологически интересная, да. "лучшая десктоп-Ось за последние 15 лет" она была 15 лет назад. Конечно, желаю всех благ проекту, но Линух ей уже не догнать, несмотря на все его болячки. К слову, qnx прилично пашет в одной блэкберриевской трубке.
	Ответить \| Правка \| ^ к родителю #32 \| Наверх \| Cообщить модератору


	42. "Результаты статического анализа кода операционной системы Ha..."	+/–
	Сообщение от Аноним (??) on 01-Май-15, 23:49
	Ну, гайка-то, по крайней мере, работоспособна в отличие от всяких хурдов и прочих реактосов.
	Ответить \| Правка \| ^ к родителю #40 \| Наверх \| Cообщить модератору


	43. "Результаты статического анализа кода операционной системы Ha..."	+/–
	Сообщение от dr Equivalent (ok) on 01-Май-15, 23:50
	Мм-м. Да, согласен.
	Ответить \| Правка \| ^ к родителю #42 \| Наверх \| Cообщить модератору


	46. "Результаты статического анализа кода операционной системы Ha..."	+/–
	Сообщение от Аноним (??) on 01-Май-15, 23:57
	> Ну, гайка-то, по крайней мере, работоспособна в отличие от всяких хурдов и > прочих реактосов. И правда, свежий зомбячок, резвенький. Но - гвоздями прибит к десктопу, разработчики страдают махровой некромансией и таскают ископаемый gcc, ради полутора не менее ископаемых проприетарных программ, которые даже купить легально уже невозможно. В общем, desktop-only система с самобытным апи, без поддержки софта и оборудования и с переклином на совместимость с какй-то проприетарной архаикой - это как чемодан без ручки.
	Ответить \| Правка \| ^ к родителю #42 \| Наверх \| Cообщить модератору


	48. "Результаты статического анализа кода операционной системы Ha..."	+/–
	Сообщение от Vkni (ok) on 02-Май-15, 05:33
	> Но - гвоздями прибит к десктопу У неё, с одной стороны, великолепный десктопный планировщик ЦП, с другой стороны, совершенно невозможно поставить мозаичный оконный менеджер.
	Ответить \| Правка \| ^ к родителю #46 \| Наверх \| Cообщить модератору