ХА! Я знаю багу в БСД

[Adekamer]

из-за ошибки в реализации округлений при подсчете чисел с плавующей точкой есть бага в БСД
в частности в БСД нельзя 529 поделить на 23
калькулятор или в шеле просто отказывается выполнять эту команду - может крашнуть систему

[Хостинг HostFood.ru]

Тарифы на хостинг в России, от 12 рублей: https://www.host-food.ru/tariffs/hosting/
Тарифы на виртуальные сервера (VPS/VDS/KVM) в РФ, от 189 руб.: https://www.host-food.ru/tariffs/virtualny-server-vps/
Выделенные сервера, Россия, Москва, от 2000 рублей (HP Proliant G5, Intel Xeon E5430 (2.66GHz, Quad-Core, 12Mb), 8Gb RAM, 2x300Gb SAS HDD, P400i, 512Mb, BBU):
https://www.host-food.ru/tariffs/vydelennyi-server-ds/
Недорогие домены в популярных зонах: https://www.host-food.ru/domains/

[idle]

Код: Выделить всё

#expr 529 / 23
23
#uname -rs
FreeBSD 4.9-RELEASE

#expr 529 / 23
23
#uname -rs
FreeBSD 7.0-CURRENT

И что?

[Adekamer]

повтори операцию еше десять раз или в цикле

[idle]

Код: Выделить всё

while true; do expr 529 / 23; done
23
23
...

Крутит, не падает.
Оставить на ночь?

[toughcat]

круто... а мужыки-то и не знали...
*побежал постить на ЛОР

[weec]

Adekamer, расскажи подробнее
как повторить проблемную ситуацию, опиши свою конфигурацию

[terminus]

6.2-RELEASE-p11 - не работает, то есть все работает ниче не упало

[dikens3]

Может забанить автора, чтобы не гадил такими постами?

[pr0t]

Может он НетБСД имеет в виду...Или Драгонфлай

[Mefis]

у меня PCBSD 1.4. калькулятор не считает вылетает)

[Alex Keda]

вот так - наплодили форков кривых

[terminus]

Стоило ожидать... Раз уж pbi а не порты, раз уж все монтируется/демонтируетса само без паники, то о каком вообще делении 529 на 23 может идти речь?

[f_andrey]

вот так - наплодили форков кривых

http://aleksg.livejournal.com/477832.html

[terminus]

http://aleksg.livejournal.com/477832.html

Не, Adekamer ведь обещал КРАШъ всей системы к чертовой перематере

Не может же все быть так плоско

[f_andrey]

Как то навевает на мысль что сегодня день мега прикола 29 судя по коментам к посту это мегабоян, но я как то раньше тоже не слышал, наверное среди математиков так прикалываются

[princeps]

Блин, Адекамер, шутник Полдня убил, пытался повесить систему извлечением корня из 529

[Гость]

Код: Выделить всё

> sh -c 'echo $((529 / 23))'
> csh -c '@ out= 529 / 23; echo $out'
> expr 529 / 23
> echo 529 / 23 | bc
> echo 529 23 / p | dc
> awk 'BEGIN { print 529 / 23 }'
> echo 'main() { printf("%d\n", 529 / 23); }' | cc -xc -; ./a.out

И все выдают `23', но это не интересно...
Как насчет еще способов для простой арифметики штатными средствами из шелла (perl/python/etc отпадают, ибо не штатные)?

ps, а есть ли способ запустить файл из stdout? а то последний пример выглядит коряво, хотя второй тоже не очень

[zingel]

Разьве это баг, во я недавно нашел

http://www.freebsd.org/cgi/query-pr.cgi?pr=120872

[dikens3]

Разьве это баг, во я недавно нашел

http://www.freebsd.org/cgi/query-pr.cgi?pr=120872

Моя твоя непонима. :-)
Там ответ дан, неправильное использование команды fsstat -M FILE (А реально нужно -M DUMP_CORE) приводит к такой ошибке. Сказал что смотрит код и возможно сделает чтобы выход осуществлялся без FAULT 11, если в параметре -M будет просто файл.

[zingel]

fstat валится по сигфолту от 45 байт в функции _kvm_initvtop() /usr/src/lib/libkvm/kvm.c,

Код: Выделить всё

int
kvm_close(kd)
        kvm_t *kd;
{
        int error = 0;

        if (kd->pmfd >= 0)
                error |= close(kd->pmfd);
        if (kd->vmfd >= 0)
                error |= close(kd->vmfd);
        if (kd->nlfd >= 0)
                error |= close(kd->nlfd);
        if (kd->vmst)
                _kvm_freevtop(kd);
        if (kd->procbase != 0)
                free((void *)kd->procbase);
        if (kd->argv != 0)
                free((void *)kd->argv);
        free((void *)kd);

        return (0);
}

нужно сделать #define EEXIST 17 на проверке elf-формата фала.

Это ли не баг? Тем боле ответа от девелоперов небыло. Оно там будет лежать пока я не напишу патч, напишу - выложу.

[zingel]

Вобщем-то я малость опоздал,

Код: Выделить всё

"Alexander V. Chernikov" <admin@su29.net> 
кому	        666.root@gmail.com	 
дата		23.02.2008 17:26	 
тема		Re: i386/120872: fstat exit on signall 11	
 
The following patch fixes an issue on i386/amd64 platforms

kvm_checkheader is a simple cut-n-paste from imgact_elf.c check_header

diff -urN lib/libkvm.orig/kvm.c lib/libkvm/kvm.c
--- lib/libkvm.orig/kvm.c       2008-02-23 17:48:27.000000000 +0300
+++ lib/libkvm/kvm.c    2008-02-23 17:48:33.000000000 +0300
@@ -64,6 +64,8 @@
 #include <string.h>
 #include <unistd.h>

+#include <machine/elf.h>
+
 #include "kvm_private.h"

 /* from src/lib/libc/gen/nlist.c */
@@ -136,6 +138,21 @@
       return (p);
 }

+int
+_kvm_checkheader(void *e)
+{
+       Elf_Ehdr *hdr = e;
+       if (!IS_ELF(*hdr) ||
+           hdr->e_ident[EI_CLASS] != ELF_TARG_CLASS ||
+           hdr->e_ident[EI_DATA] != ELF_TARG_DATA ||
+           hdr->e_ident[EI_VERSION] != EV_CURRENT ||
+           hdr->e_phentsize != sizeof(Elf_Phdr) ||
+           hdr->e_version != ELF_TARG_VER ||
+           hdr->e_machine > MAX_BRANDS)
+               return (ENOEXEC);
+return (0);
+}
+
 static kvm_t *
 _kvm_open(kd, uf, mf, flag, errout)
       kvm_t *kd;
diff -urN lib/libkvm.orig/kvm_amd64.c lib/libkvm/kvm_amd64.c
--- lib/libkvm.orig/kvm_amd64.c 2008-02-23 17:48:27.000000000 +0300
+++ lib/libkvm/kvm_amd64.c      2008-02-23 17:51:27.000000000 +0300
@@ -170,6 +170,11 @@
                       return (-1);

               ehdr = kd->vmst->mmapbase;
+               if (_kvm_checkheader(ehdr) != 0) {
+                       _kvm_err(kd, kd->program, "core is not valid ELF core");
+                       return (-1);
+               }
+
               hdrsz = ehdr->e_phoff + ehdr->e_phentsize * ehdr->e_phnum;
               if (_kvm_maphdrs(kd, hdrsz) == -1)
                       return (-1);
diff -urN lib/libkvm.orig/kvm_i386.c lib/libkvm/kvm_i386.c
--- lib/libkvm.orig/kvm_i386.c  2008-02-23 17:51:03.000000000 +0300
+++ lib/libkvm/kvm_i386.c       2008-02-23 17:51:14.000000000 +0300
@@ -177,6 +177,11 @@
                       return (-1);

               ehdr = kd->vmst->mmapbase;
+               if (_kvm_checkheader(ehdr) != 0) {
+                       _kvm_err(kd, kd->program, "core is not valid ELF core");
+                       return (-1);
+               }
+
               hdrsz = ehdr->e_phoff + ehdr->e_phentsize * ehdr->e_phnum;
               if (_kvm_maphdrs(kd, hdrsz) == -1)
                       return (-1);
diff -urN lib/libkvm.orig/kvm_private.h lib/libkvm/kvm_private.h
--- lib/libkvm.orig/kvm_private.h       2008-02-23 17:48:28.000000000 +0300
+++ lib/libkvm/kvm_private.h    2008-02-23 17:48:33.000000000 +0300
@@ -79,6 +79,9 @@
           __printflike(3, 4);
 int     _kvm_uvatop(kvm_t *, const struct proc *, u_long, u_long *);

+#define MAX_BRANDS     8 /* from sys/imgact_elf.h */
+int     _kvm_checkheader(void *);
+
 #if defined(__amd64__) || defined(__i386__)
 void    _kvm_minidump_freevtop(kvm_t *);
 int     _kvm_minidump_initvtop(kvm_t *); 

[Гость]

но это всего лишь проверка на заголовок. А если с заголовком все в порядке, а с данными нет, то разве нет шанса эксплуатировать привилегии sgid программы с группой kmem? Если такого шанса нет, то зачем вообще проверять заголовок?
соррри, если сказал глупость

[zingel]

проверка заголовка нужна для условия ELF или не ELF-формат, "если с заголовком всё в порядке, а с данными - нет" - такого с ELF не бывает.

[zingel]

http://www.securitylab.ru/vulnerability/313747.php

[Гость]

http://www.securitylab.ru/vulnerability/313747.php

там про kernel based virtual machine, а не про kernel virtual memory.
А в статусе Porting Linux KVM To FreeBSD не написано committed.

Перепутал?