Выпуск ControlFlag 1.0, инструмента для выявления ошибок в коде на языке Си,
opennews (ok), 19-Ноя-21, (0) [смотреть все]
- Все, Rust больше не нужен ,
Урри (ok), 16:42 , 19-Ноя-21, (1) +17 //
- Программисты больше не нужны,
Аноним (2), 16:45 , 19-Ноя-21, (2) +1
- Сам себе отвечу - все еще нужен Но только после того, как в него будет встроена,
Урри (ok), 16:45 , 19-Ноя-21, (3) //
- Ты вроде описал только что Copilot ,
Аноним (10), 17:07 , 19-Ноя-21, (10) +2
- поправил, не благодари P S разумеется, немодный неулучшенный исходник улучшенны,
пох. (?), 19:42 , 19-Ноя-21, (34) –1
- На чём обучать-то Завершённого кода на Rust нет ,
Аноним (65), 21:32 , 19-Ноя-21, (65) +2 //
- Вы описали бессмысленные и несуществующие в Rust синтаксические конструкции Что,
freecoder (ok), 22:40 , 21-Ноя-21, (181)
- ПМСМ и не нужен был, сразу со своего появления всё чем он тащил, так это рекламо,
Андрей (??), 16:58 , 19-Ноя-21, (5) //
- В Расте гораздо больше интересностей, чем почему-то рекламирумый один лишь safe ,
Enamel (ok), 17:02 , 19-Ноя-21, (7) +2 //
- Да всем честно говоря пофиг на твой раст ,
Аноним (10), 17:08 , 19-Ноя-21, (11) +1 //
- Три дня Три дня я гналась за вами, чтобы сказать, как вы мне безразличны ,
_ (??), 18:04 , 19-Ноя-21, (21) +11
- И это true,
Аноним (27), 18:59 , 19-Ноя-21, (27) –2
- Да, всем ,
Аноним (66), 22:19 , 19-Ноя-21, (66)
- Тогда зачем было про него спрашивать изначально ,
anonymous (??), 04:18 , 20-Ноя-21, (81) +3
- Загляни в лог модерирования, чтобы заценить насколько всем пофиг ,
Ordu (ok), 06:04 , 20-Ноя-21, (84) +2
- проблема раст какраз в safe и unsafeбез unsafe вы не можете ничего А суть в чём ,
Аноним (27), 19:02 , 19-Ноя-21, (28) –3 //
- А ты самокритичный Только зачем пишешь о себе в третьем лице ,
Аноним (-), 21:20 , 19-Ноя-21, (63)
- Речь идет о С Каким боком тут С Кстати, пишу на C со времен Microsoft С 6 0 ,
adolfus (ok), 00:50 , 20-Ноя-21, (76)
- Нет unsafe в избранных местах и 146 unsafe -- разные вещи Ну конечно И сегфолт,
Enamel (ok), 19:28 , 04-Дек-21, (257)
- Раст это тот который C-- ,
Аноним (77), 01:17 , 20-Ноя-21, (78) –3 //
- roosterы, всюду приплетающие rust, не нужны ,
Аноним (9), 17:03 , 19-Ноя-21, (9) –3 //
- А он разве нужен был ,
Корец (?), 17:58 , 19-Ноя-21, (20) +1
- Не спору ради, а просто уточнить вы действительно думаете что вероятностная опр,
anonymous (??), 04:21 , 20-Ноя-21, (82) +5 //
- Как только люди не извращаются, только бы не переходить на изначально нормальный,
Прохожий (??), 23:41 , 20-Ноя-21, (141) –1 //
- Вообще интересно, что на это скажут PVSники и находит ли их анализатор эти ошибк,
Андрей (??), 16:52 , 19-Ноя-21, (4) +6
//
- именем чебурнета нашаго, не задавай такие наивные вопросы кому надо, тому долож,
Старшина (?), 17:02 , 19-Ноя-21, (6) –3
- присоединяюсь к вопросу может быть достойных конкурент для них,
Аноним (8), 17:02 , 19-Ноя-21, (8)
//
- Да они опубликуют очередной пост на хабре Это не компания производитель софта э,
Аноним (10), 17:09 , 19-Ноя-21, (12) +4
- Ну на эту тему они уже высказались на Хабре https habr com ru company pvs-stu,
Аноним (15), 17:14 , 19-Ноя-21, (15) +2
- Можно подумать это не они тут seo себе накручивают в комментах ,
Аноним (197), 13:59 , 22-Ноя-21, (197) +1
- Комментировал на тему ControlFlag здесь https habr com ru company pvs-studio ,
Andrey_Karpov (ok), 11:25 , 23-Ноя-21, (209)
- Неужели эта поделка поможет решету стать менее дырявым Лучше бы труЪ-сишников, ,
Аноним (18), 17:34 , 19-Ноя-21, (18) –2 //
- Нет, конечно Но она поможет какое-то время верить луддитам в свою восстребованн,
Прохожий (??), 00:00 , 21-Ноя-21, (144) –3 //
- Ох как только языком это раст 8217 аманы могу Это все что они могут - трепать ,
Аноним (155), 10:25 , 21-Ноя-21, (155) +1 //
- Ты так пишешь, как будто ты - один из авторов libc Хорош петросянить, займись у,
DyadyushkaAU (ok), 13:08 , 21-Ноя-21, (165)
- Какой занятно-махровый ламеризм https man7 org linux man-pages man2 syscalls 2,
Аноним (-), 13:11 , 21-Ноя-21, (166) –1
- Т е если большинство делает какую-либо ошибку, которая приводит к дырым, эта ву,
Аноним (22), 18:14 , 19-Ноя-21, (22) +4 //
- Гора родила мышь,
ыы (?), 18:14 , 19-Ноя-21, (23) +1
- Чтобы научить ИИ отыскивать ошибки, нужен бы большой массив кода с уже кем-то на,
Аноним (31), 18:58 , 19-Ноя-21, (26) +3 //
- это где то я уже видел ,
Sw00p aka Jerom (?), 21:26 , 19-Ноя-21, (64)
- это чистой воды бюрократия потому что cURL написан на сях, в которых тип _Bool п,
Аноним (31), 22:54 , 19-Ноя-21, (68) +2 //
- Почему бы алгоритму этот смысл не вычислить Ему ж это ещё проще будет, чем чело,
Ordu (ok), 04:31 , 20-Ноя-21, (83) –1 //
- по стандарту ложное значение 0, истинное не 0 ,
Аноним (90), 10:16 , 20-Ноя-21, (90) //
- И что Глянь struct MyStruct int my_flag 1 int main struct MyStruc,
Ordu (ok), 10:51 , 20-Ноя-21, (91) –1
- Он забыл процитировать стандарт Так и есть Из N1570 6 2 5 Types2 An object decl,
n00by (ok), 11:12 , 20-Ноя-21, (92) +1
- строгое значение, и что по вашему должен делать компилятор когда bool сравнивает,
Sw00p aka Jerom (?), 11:42 , 20-Ноя-21, (93) +1
- По-моему, меня пытаются убедить, что я должен за кого-то прочитать integer promo,
n00by (ok), 14:16 , 20-Ноя-21, (110)
- ясно, все неявное становится явнымну раз не строгая, то зачем сравнение bool с 2,
Sw00p aka Jerom (?), 14:50 , 20-Ноя-21, (116)
- Да мне пофик на анализатор, кто-то наврал про стандарт, это недоразумение я и ис,
n00by (ok), 14:58 , 20-Ноя-21, (119)
- почему это наврал он написал по стандарту ложное значение 0, истинное не 0 а в,
Sw00p aka Jerom (?), 15:12 , 20-Ноя-21, (123)
- Вероятно, потому что не читал стандарт Очевидно, не 0 и 1 это не одно и то же,,
n00by (ok), 10:15 , 21-Ноя-21, (153)
- очевидно у вас с англ проблемы,
Sw00p aka Jerom (?), 14:36 , 21-Ноя-21, (167)
- Не волнуйтесь, ничего страшного Я тоже не нашёл Да и зачем Бремя доказательст,
n00by (ok), 15:21 , 21-Ноя-21, (168)
- а if что делает любое не нулевое значение - истина ,
Sw00p aka Jerom (?), 17:56 , 21-Ноя-21, (170)
- Для поиска ответа надо всего лишь открыть стандарт и прочитать пункт The if stat,
n00by (ok), 08:50 , 22-Ноя-21, (187)
- смотрим в книгу видим фигу, ясно,
Sw00p aka Jerom (?), 21:38 , 22-Ноя-21, (204)
- А я всё думаю, что же Вы там такое видите, что процитировать стесняетесь ,
n00by (ok), 07:45 , 23-Ноя-21, (206)
- 6 3 1 2 Boolean type1 When any scalar value is converted to _Bool, the result is,
Sw00p aka Jerom (?), 11:40 , 23-Ноя-21, (210)
- Напоминаю, что обещали найти истинное не 0 -1 это не 0 2 это не 0 Это сложн,
n00by (ok), 12:03 , 23-Ноя-21, (211)
- комент 3 90 по стандарту ложное значение 0, истинное не 0 так и есть, по станда,
Sw00p aka Jerom (?), 13:21 , 23-Ноя-21, (214)
- Но никто третий день не может привести цитату, тогда как _Bool определён как 0 и,
n00by (ok), 14:31 , 23-Ноя-21, (215)
- так речь не об этом была, и никто это не оспаривал, что булевый тип есть множест,
Sw00p aka Jerom (?), 15:43 , 23-Ноя-21, (216)
- Дословно по стандарту ложное значение 0, истинное не 0 Нет цитаты с определен,
n00by (ok), 15:58 , 23-Ноя-21, (217)
- Утверждение по стандарту ложное значение 0, истинное не 0 вы себе надомули как,
Sw00p aka Jerom (?), 17:09 , 23-Ноя-21, (218)
- Остаётся недоказанным Вы автор Или читаете его мысли Буквально ложное значение,
n00by (ok), 17:22 , 23-Ноя-21, (220)
- определения не доказываются, а используются в доказательстве, логическом выводе ,
Sw00p aka Jerom (?), 17:45 , 23-Ноя-21, (222)
- Вернул выкинутое при цитировании, что бы подмена была видна Ищите в стандарте о,
n00by (ok), 07:14 , 24-Ноя-21, (225)
- http www open-std org jtc1 sc22 wg14 www docs n2310 pdfРаздел 6 8 4 1 The if s,
Sw00p aka Jerom (?), 18:31 , 23-Ноя-21, (224)
- Ну вот, уже освоили поиск по названиям пунктов, которые я давал Но это не про и,
n00by (ok), 07:16 , 24-Ноя-21, (226)
- а если дословно, то тут можно придраться ко всему, и понимай как хочешь Вы поня,
Sw00p aka Jerom (?), 17:15 , 23-Ноя-21, (219)
- Это если не читать стандарт, тогда можно Стандарт в 100 раз более скрупулёзен ч,
n00by (ok), 17:31 , 23-Ноя-21, (221)
- какой стандарт пошли уже придирки - вы же не телепат, с чего вы взяли что реч,
Sw00p aka Jerom (?), 17:49 , 23-Ноя-21, (223)
- Речь шла о языке Си, стандарт языка Си Где якобы по стандарту ложное значение ,
n00by (ok), 07:23 , 24-Ноя-21, (227)
- ок, тогда выше есть выдержка определения условного оператора, там написано ровно,
Sw00p aka Jerom (?), 11:49 , 24-Ноя-21, (228)
- Не надоело Там даже слов true и false нет Я понимаю, что со стандартом надо ум,
n00by (ok), 16:26 , 24-Ноя-21, (229)
- а что должно было быть, когда есть понятие нуля и не нуля ,
Sw00p aka Jerom (?), 21:07 , 24-Ноя-21, (230)
- Должно быть подтверждение заявления по стандарту ложное значение 0, истинное не,
n00by (ok), 07:38 , 25-Ноя-21, (231)
- Так и написано6 3 1 2 Boolean type1 When any scalar value is converted to _Bool,,
Sw00p aka Jerom (?), 18:23 , 25-Ноя-21, (233)
- Дамы и господа, делайте ставки В левом углу ринга непревзойдённый натягиватель с,
n00by (ok), 11:59 , 26-Ноя-21, (234)
- вот она истина, ну и замените 1 на 2 в своем макросе true и скормите оператору i,
Sw00p aka Jerom (?), 14:06 , 26-Ноя-21, (235)
- Упростим Балабол заявил, что в стандарте значение истинное не 0 В стандарте,
n00by (ok), 14:28 , 26-Ноя-21, (236)
- повторяю еще раз, истина как хранимое значение не равно истинное сравнива,
Sw00p aka Jerom (?), 16:03 , 26-Ноя-21, (237)
- Заявление балабола по стандарту значение истинное не 0 Содержимое стан,
n00by (ok), 08:06 , 27-Ноя-21, (238)
- да именно истинное , а не истина это содержимое макроса истина , а истинное,
Sw00p aka Jerom (?), 11:49 , 27-Ноя-21, (239)
- Заявление балабола по стандарту значение истинное не 0 Содержимое стан,
n00by (ok), 13:16 , 27-Ноя-21, (240)
- продолжайте в том же духе, ниже копипаста комента,
Sw00p aka Jerom (?), 14:25 , 27-Ноя-21, (241)
- Что же заставило Sw00p aka Jerom, который впервые увидел выдержки из стандарта н,
n00by (ok), 07:34 , 28-Ноя-21, (242)
- вы уже азбуку повторили ,
Sw00p aka Jerom (?), 12:45 , 28-Ноя-21, (243)
- Могу повторить последний фокус Есть ещё пара лишних недель ,
n00by (ok), 17:20 , 28-Ноя-21, (244)
- продолжайте, флаг вам в руки,
Sw00p aka Jerom (?), 17:25 , 28-Ноя-21, (245)
- Хорошо Осталось уточнить один момент У тебя уже было такое, что администратор ,
n00by (ok), 17:35 , 28-Ноя-21, (246)
- а с коих пор мат не должен пресекаться модераторами с моей стороны мат только в,
Sw00p aka Jerom (?), 00:28 , 29-Ноя-21, (247)
- Значит это ты матерился Вот отрицающему текст стандарта балаболу я обязательно ,
n00by (ok), 07:51 , 29-Ноя-21, (248)
- только щас дошло наивныйэт на какое такое место чтобы заткнуть человека, кото,
Sw00p aka Jerom (?), 11:20 , 29-Ноя-21, (249)
- Ой, ой, полегче на поворотах с нотациями и попыткой списать дефекацию ганглия на,
n00by (ok), 11:52 , 29-Ноя-21, (250)
- если ты проверяешь значение как if x , значит ты проверяешь его на не но,
Аноним (31), 13:00 , 20-Ноя-21, (96)
- Да вы издеваетесь Вы сами только что простыню накатали о такой простой и одназна,
Аноньимъ (ok), 13:12 , 20-Ноя-21, (98) +1
- Анон все правильно говорит, ну всмысле про сравнение на неноль дальше читать ле,
Аноним (-), 14:02 , 20-Ноя-21, (105)
- Простыня имеет отношение не к компактным программам на C ,а к непонятливости не,
Аноним (31), 15:46 , 20-Ноя-21, (127) –1
- значимость значение всегда предшествует истинности, машина ничего не знает об ,
Sw00p aka Jerom (?), 14:57 , 20-Ноя-21, (118)
- Думаю, это все-таки тебе надо поразмыслить вот над чем Программирование чего-ли,
Прохожий (??), 00:19 , 21-Ноя-21, (145) –1
- Харош троллить детей Ты пишешь в однобитовое поле двойку, теряя все биты перепол,
Урри (ok), 18:43 , 21-Ноя-21, (172)
- Почему-то многие это обстоятельство упускают из видаОсновные философские положен,
ng (ok), 12:42 , 20-Ноя-21, (95) +2
- только в хеловорлде оно безопасно,
Аноним (102), 13:58 , 20-Ноя-21, (102) +1
- Халва, халва, халва, хм, чей-то во рту все еще не сладко - наверное недоста,
Аноним (-), 14:03 , 20-Ноя-21, (106)
- Что ты такое несешь O_O ,
Аноним (-), 14:22 , 20-Ноя-21, (112) –1
- Иногда лучше реально жевать, чем об этом говорить, когда нечего сказать Вероятно,
ng (ok), 10:18 , 21-Ноя-21, (154) –1
- Потому что такого обстоятельства нет На уровне АЛУ процессора есть флаги нул,
n00by (ok), 14:37 , 20-Ноя-21, (114) –1
- За венгерскую нотацию полагается стерилизация, чтобы избежать распространения вр,
Ordu (ok), 17:22 , 20-Ноя-21, (135) –1
- как, по-вашему, правильнее if the_pointer_to_the_string_with_our_QR_code_data ,
Аноним (31), 18:47 , 20-Ноя-21, (139) +1
- Что ты бред несёшь В C не бывает string , только pointer to string Зачем во,
Ordu (ok), 03:34 , 21-Ноя-21, (151) –1
- Префикс p в Венгерке означает указатель, а не массив ,
n00by (ok), 11:22 , 21-Ноя-21, (157)
- О трудах агронома Трофима Лысенко слышал, но не изучал Селекция видов - не мой ,
ng (ok), 18:58 , 20-Ноя-21, (140)
- У вас нет опыта разработки Если разработчик может допустить _любое_ значение в,
Аноним (31), 12:25 , 20-Ноя-21, (94) +3 //
- Так, а как ТАК пишут код чтобы программа СРАЗУ упала при ошибке во внутренних пе,
Аноньимъ (ok), 13:20 , 20-Ноя-21, (99) +1
- Ну, например, если передать NULL в dest в strcpy , то будет ошибка сегментации ,
Аноним (31), 15:05 , 20-Ноя-21, (120) –1
- Пример с NULL в strcpy , ессно, слишком толстый Но он примерно показывает суть,,
Аноним (31), 15:08 , 20-Ноя-21, (122)
- А она знает что она должна упасть ,
Аноньимъ (ok), 15:15 , 20-Ноя-21, (124) +1
- Хахахаха Это ты так троллить пытаешься ,
Ordu (ok), 13:42 , 20-Ноя-21, (100) +1
- Да ну Оглянитесь Вне поделок на десктопе такое не допустимо Автомобили, про,
_kp (ok), 14:06 , 20-Ноя-21, (107) +2
- Вы путаете падения релизов с падениями некорректных сборок и падениями дебажных ,
Аноним (31), 14:33 , 20-Ноя-21, (113)
- В идеале, но это не значит, что сбои не возникнут, не смотря на все старания и т,
_kp (ok), 17:58 , 20-Ноя-21, (136) +2
- Нет Если проект серьезный, то программисты расставляют везде где надо assert А ,
Урри (ok), 19:11 , 21-Ноя-21, (174)
- Ох уж этот мне юношеский максимализм Давно в профессии Подозреваю, что год-два,
Прохожий (??), 01:10 , 21-Ноя-21, (146)
- Если написать код на Vala, транслировать в С и скормить этому чуду - он прожует ,
Аноним (73), 23:51 , 19-Ноя-21, (73) //
- Если найдёт аномалии, что вы с этим будете делать ,
mikhailnov (ok), 00:17 , 20-Ноя-21, (74) +2 //
- Выкинет вала и будет писать на С ,
Аноним (10), 07:31 , 20-Ноя-21, (86) +1 //
- Для начала на тривиальном примере посмотрим, что будет делать с аномалиями ведущ,
n00by (ok), 09:41 , 20-Ноя-21, (88) –1 //
- В чем прикол Один буфер на весь запуск или что-то не так ,
Аноним (-), 13:48 , 20-Ноя-21, (101) +1
- Прикол в том, что код написал ведущий программист , как заявляет его работодате,
n00by (ok), 14:14 , 20-Ноя-21, (109) –1
- Нет Смотри историю коммитов https github com mikhailnov bbb-load-tester comm,
mikhailnov (ok), 15:23 , 20-Ноя-21, (126)
- А, ну да RPM-разработчики не отвечают за код под которым подписываются На сайте,
n00by (ok), 11:53 , 21-Ноя-21, (158) –3
- один из ведущих разработчиков ведущий программист , как бы тебе ни хотелос,
mikhailnov (ok), 21:18 , 21-Ноя-21, (178)
- Этот код напоминает мою раннюю писанину на баше глобальные переменные, опериров,
mikhailnov (ok), 21:29 , 21-Ноя-21, (179)
- очевидно, что open_vpipe используется только в этом C-файле -- это служебная в,
Аноним (31), 16:02 , 20-Ноя-21, (129)
- аа, увидел но сначала вопрос ёлки-палки, кто ж так код сокращает это ж непонят,
Аноним (31), 16:32 , 20-Ноя-21, (130) +1
- Про отсутствие free я явно написал и лишнее не цитировал, поскольку вопрос кас,
n00by (ok), 11:53 , 21-Ноя-21, (159) –1
- В итоге ведущий разработчик публично признал в 178, что он не программист Во,
n00by (ok), 09:20 , 22-Ноя-21, (191)
- работает без сети база уже входит в поставку ,
. (?), 13:59 , 20-Ноя-21, (103) –1 //
- А знаете, какой еще инструмент может определить аномалии и непохожести кода на ч,
Аноним (152), 05:37 , 21-Ноя-21, (152)
- Прогнал свой хелловорлд, 5600 строк страшноватого С главная функция одна занима,
Урри (ok), 20:46 , 21-Ноя-21, (177) //
- Бесполезный софт Опеннетовские сишники пишут код без ошибок, надо просто их раз,
burjui (ok), 23:28 , 21-Ноя-21, (184) +2 //
1,4,18,22,23,26,64,68,73,103,152,177,184
|
Вариант для распечатки
