Агентство национальной безопасности США опубликовало отчёт с анализом рисков появления уязвимостей, вызванных ошибками при работе с памятью, такими как обращение к области памяти после её освобождения и выход за границы буфера. Организациям рекомендовано по возможности уйти от использования языков программирования, таких как Си и Си++, перекладывающих управление памятью на разработчика, в пользу языков, обеспечивающих автоматическое управление памятью или выполняющих проверки безопасной работы с памятью во время компиляции...Подробнее: https://www.opennet.ru/opennews/art.shtml?num=58111
Неосиляторы
Тут скорее похоже на хитрый план. Особенно если эту "рекомендацию" АНБ включат в список требований к государственным закупкам штатов для штатовских контор, после чего эта "рекомендация" перейдёт в стандарт де-факто. Все просто: хочешь, чтобы закупили твой софт - пиши на контролируемых (не тобой, а АНБ через прикормленных core-team) языках, где компилятор один или один из нескольких и код генерирует с требуемыми АНБ добавками и при этом не мешает дампать и обрабатывать/подменять аллоцированное.
Вы хоть какие-то пруфы прилагайте что ли...
Компиляторы открытые, может на конкретные строчки? Или на асм-листинги с evil-code?
А то это РенТВ какое-то
А у него нет под рукой соответствующего кода и софта. Это же не косынку встраивают.
Ой-вэй., не делайте мне мозг, парниша. Ну таки сейчас я сбегаю до штаб-квартирки АНБ, у меня там таки дядя Кульман работает. За длинный шекель он вам что угодно достанет, хоть саму Кондолизовну.А если по делу: ты так за них не переживай, дай им сначала подготовительную работу до конца довести: поправочки к поправочкам провести, поставщиков собрать и во фрунт построить, потом период охлаждения подождать, пока минимальная масса ПО на "их" языках не наберётся. После чего и будет тебе, и ёvil-code, и странные правила генерации выходного бинарника, и непонятные зависимости в стандартной либе, и разделение либ "по странам".
Мы же не в цирке. Можно внятно в паре предложений, поддающихся обсуждению. )
а что тут обсуждать, есть куски кода которые часто выполняются, есть которые не часто, в одних случаях надо заморачиваться на производительность в других опционально, а есть дурачки, которые считают, что все можно писать на одном, ява уже 20+ лет обещает догнать си, и чета все никак.
>Компиляторы открытыеКогда это останавливало?
>А то это РенТВ какое-тоПока вы смотрели рентв, по другим каналам показывали Сноудена.
> Когда это останавливало?Вот я и спрашиваю - когда? Где пример закладки с встраиванием чужого кода в gcc? Или в clang?
Ниже вспомнили про студию2015, но это совсем не то - код закрыт, они там хоть сокобан могут в аппу добавлять.
>> Когда это останавливало?
> Вот я и спрашиваю - когда? Где пример закладки с встраиванием чужого
> кода в gcc? Или в clang?
> Ниже вспомнили про студию2015, но это совсем не то - код закрыт,
> они там хоть сокобан могут в аппу добавлять.И главный влпрос: кто им мешает делать всё то же самое с C/C++?
Где там им внедрятся, там все прозрачно. Нужно место которое вызывается часто (сборщик мусора, секции проверки) или нечеткая связь с исходным кодом и типами и реализацией в исполняем коде.
Так в gcc поддержка только для go. Зачем Вы качестве примера его выбрали? И неизвестно насколько строго проект gcc строго относится к реализации плагинов.
Потому что в нем поддержка Go, разве это не очевидно? А в шланге поддержка swift и rust.
Итого половину из списка уже перечислили.
>> Когда это останавливало?
> Вот я и спрашиваю - когда? Где пример закладки с встраиванием чужого
> кода в gcc? Или в clang?Так они и не в рекомендованных.
> Ниже вспомнили про студию2015, но это совсем не то - код закрыт,
> они там хоть сокобан могут в аппу добавлять.В этом то как раз и нюанс: про закрытые бекдоры по определению общественность не знает, про открытые быстро забывают ("ну это же студия, это совсем не то"). Увы, в коммитах не указано "АНБ попросило нас оставить баг", а Сноуденов на каждого "а-ты-докажи" не хватит. Даже соседнюю новость про разблокировку андройда и то преподносят как обычный баг из-за невнимательности. Так что с большой вероятностью пруфы ты не распознаешь, а особо лютые косяки увидишь не чаще раз в 10 лет, но и их быстро забудешь.
Ну вот в C# встраивается телеметрия, причём НЕ ТВОЯ! Погугли DOTNET_CLI_TELEMETRY_OPTOUT
Это да, бесит жуть! Но это телеметрия от cli интерфейса dorney. Можете компилировать напрямую через csc,там всё чисто.
> Это да, бесит жуть! Но это телеметрия от cli интерфейса dorney. Можете
> компилировать напрямую через csc,там всё чисто.Зачем нам компилеры и рантаймы от явных бэкдорщиков? Чтобы они нас еще и в процессе девелопмента кинули поизящнее? Майкрософт это с дотнетчиками делал уже несколько раз, но некоторым видимо никак не хватило счастья чтобы выводы сделать.
> Вы хоть какие-то пруфы прилагайте что ли...
> Компиляторы открытые, может на конкретные строчки? Или на асм-листинги с evil-code?
> А то это РенТВ какое-тоНу да, про возможность удалённо окирпичить железо по желанию левой пятки кое-кого тоже основная масса кричала, что это вздор и такого не может быть, потому что не может быть никогда...
А подиж ты, сиськины отпрыски таки провернули, и где теперь все эти кукаретики неможетбытьникогдатели со своими "где ваши пруфы"?!
> Вы хоть какие-то пруфы прилагайте что ли...Факты, которые могли бы подтвердить данное заявление, относятся к конфиденциальной информации.
Интересно - с ADA наигрались уже ?
Единственный адекватный коммент.
В утечках Ассанжа что-то вроде было про дизассемблеры, восстанавливающие код для популярных языков.
Очевидно что они используют подобные подходы.
Да все просто: на питоне вы не напишете ОС и Майкрософт будет в безопасности. А С, С++ и всякие ассемблеры не нужно знать всякому плебсу.
>хитрый план.найти пряморуких кодеров
действительно.
> (не тобой, а АНБ через прикормленных core-team)
>> прикормленных core-teamВвв-ы-ы-ы-ы (сдерживаюсь как могу...)... А-ха-ха-ха-ха-ха (не сдержался) !... Толпы человек с десятков разношерстных проектов с разных стран вовлечены ("прикормлены") в хитрый тайный план АНБ и никто(!) не раскололся, хотя бы по пьяни, по обкурке. Там наверное их жёны и дети в заложниках в подвалах сидят. Ты же понимаешь, что чем больше простого народу (не кадровых офицеров АНБ, хотя и они изредка палят контору) вовлечено в "мегатайну" тем вероятность сохранить эту тайну ближе к нулю?
Они давно там с паяльником в жо.. стоит отдать им должное - но работать на опережение событий они работать умеют.
Ну так вот они и лоббируют "безопасные" языки для снижения расходов.
Просто надо понять вот какую вещь: безопасный и следовательно более предсказуемый язык более удобен для автоматизации операций с уже запущенным и работающим кодом.Строго говоря сейчас в эпоху EFI биосов спецслужбам ничего даже ивзламывать не надо, достаточно просто подменить какую либо запускаемую в таком биосе прошивку и всё, дальше только одна проблема: как разобраться в запущенных на компе бинарниках.
Пока там нет Ada - для госконтор не взлетит.
Конечно, у сишников нет централизованных рассадников бэкдоров, а главное - монополии на них. Go: MS::похаб, Rust: ящики.io, TS-JS: MS::NPM, Oracle сами делают жабу и ради денег сделают что угодно.
Rust Foundation: AWS, опущенныеHuawei, Google, Microsoft, and Mozilla
Представители острова игрушечных человечков: зайдите на analog.com, nxp.com, maximintegrated.com, скачайте Qt сборку, скачайте средства разработки STM32 на st.com... Вот все эти "народные" суперсвободные демократические репозитории могут также превратиться в тыкву.
В чём проблема скачать исходники и собрать? Как минимум Qt и stm32 полностью на опенсорсных компонентах работают. Из нестандартного - st-util для stm32 (можно и openocd взять, он чутка пожирнее, но и с отладкой там получше... про fpu знает).P.S. Подсказка. Собрать может emerge, не обязательно всё вручную компилять.
У меня нет проблемы, я на линухе вообще тем более. Речь о тыквах по мановению мизинца.
> Речь о тыквах по мановению мизинца.Ну и расскажи нам план по отыквлению stm. Всё есть в GNU, кое-что в отдельных открытых проектах, Повлиять на это какой-то блокировкой или запретом нереально. Внести намеренный баг можно, но он же детектится через git bisect на счёт раз.
Аналогично с Qt. Исходники расползлись по тысячам зеркал. Собственно как ты собрался Qt банить, если он лежит даже на mirror.yandex.ru при том (и это при том, что яндекс даже не собирался бекапы Qt делать).
> Ну и расскажи нам план по отыквлению stm. Всё есть в GNU,Да никак его особо не отыквишь, а вот спереть залоченую прошивку - реалистично.
> Агентство национальной безопасности США
> Организациям рекомендовано по возможности уйти от использования языков программирования, таких как Си и Си++кушать подано, господа)
в этом свете идея о включении Rust в ядро linux.. выглядит в совсем другом свете.
А если они еще рекомендуют вовремя патчить системы, и ставить SELinux, тоже подвох увидел?
Эти товарищи майоры безопаснее? D
Гуголь в ведре даже поюзал это. Ну и чо, сильно тебе лучше с этого стало? Как был кусок спайвари так и остался, и чем тебе селинукс анбшный помог, спрашивается?
подвох в том что если товарищи смогли продавить такое решение, то недавние баги в ядре которые никто "не нашел" много лет, выглядят очень забавно.
АНБ принесло сладкий хлеб
это все потому что еще компилятор неполного стандарта, вот и утечки всякие.Пруфаю Евгением Зуевым
Еще немного пруфов https://youtu.be/NVUZ-U2QAbc?t=1048
Есть защита от повторного включения .h файлов в один проект. ПССЗБ
Лучше сразу АНБ-бейсик и АНБ-ява.
Уже есть АНБ-ада
Go и Java мой выбор!
а ты большой мастак переобуваться, в прошлых тредах, помнится, ты за сишку топил
Сейчас бы с Си переходить на Ruby.
Смотря для чего. Где-то это будет неплохим выбором, а где-то, например... на D 😎
>например... на DОно еще живо?
уже нет
сейчас в моде братья-близнецы zig, jai и odin
Ну не мертвее Раста точно! :) Ди - прекрасный язык как преемник С++, просто маркетинг слабоват и сам язык пилят полтора Уолтера. Если б FOSS не идиотничал и занялся Ди, мы б сейчас имели библиотеку не хуже .NET FW.
если б
D прекрасен! Но за "()" как ограничители типа в темплейтах поубивал бы!
А оно само разве не на Си написано?
> Сейчас бы с Си переходить на Ruby.Сразу после того как про эту хайпоту все забыли, самое время. Конечно это не про си.
Ruby есть, а Python не попал?
дефолтный CPython же на дырявой сишке
А Ruby?
А Java?
> Some examples of memory safe languages areПеречислены лишь некоторые языки.
С какой целью перечислены лишь конкретно эти языки? Потому что АНБ их курирует и там все бекдоры учтены?
Пестон с его пробелами - самое тупое изобретение ИТшников после Фортрана (с его 6-ой позицией).
> Ruby есть, а Python не попал?В переводе с инглиша "Some examples" имеет смысл - "некоторые примеры / или такие как"
Всё гораздо проще: нужно просто научить-заставить Сишников тестировать свой код.
заставить пользоваться исключительно умными указателями
АНБ аплодирует - достаточно будет только код умных указателей пропатчить )
В отличие от вендорлоченного раста компилятор и стд либу плюсов ты можешь сам собрать.
Да просто пользоваться g++
> В отличие от вендорлоченного раста компилятор и стд либу плюсов ты можешь
> сам собрать.Надеюсь, ты хотя бы за деньги такую пургу несёшь? Отказываюсь верить, что люди могут быть такими аутистами бесплатно.
https://github.com/rust-lang/rust
https://github.com/rust-lang/llvm-project/tree/rustc/15.0-20...
https://doc.rust-lang.org/cargo/reference/unstable.html#buil...
Зачем? Тут пчелы против мёда.
Думается мне, что просто готовят аудиторию перед внедрением через год-джва в компилятор кода, порождающего при компиляции специальный бэкдор. Ну или не совсем бэкдор, но комплиментарный к какому-нибудь Pegasus, который позволит перехватывать сисколлы и делать сырые дампы аллоцированной памяти, без геморроя с сишными указателями.Естественно - изменения будут размазаны во времени, а чтобы тысячигласс не увидели - их делать будут существа с правильной гендерной идентичностью и правильным расовыми данными, которые, в случае чего, самые внимательные из глазиков и подвыколят. Заодно и их носителей отменят, как страшных расистов и ххх-фобов.
Я не понимаю почему хомячки минусуют этот комментарий. Как бы "шизово" эт оне звучало, но часть правды в этом есть.
Алсо, смешно, что под новостью с отечественным тов.майором все комментарии негативные, а когда тов.майор западный, то это другое, нужно понимать, он ничего плохого никогда не делал(нет).
Потому что западный майор где-то там на западе и заставить его заинтересоваться тобой... ну, это нужно уж очень постараться.
А отечественный майор через пару кварталов и радостно тебя набутылит за неправильный коммент в инете.
Вот и подумай кого стоит опасаться больше.
>Потому что западный майор где-то там на западе и заставить его заинтересоваться тобой... ну, это нужно уж очень постараться.И? А почему его нужно защищать и отмазывать от обвинений?
У отечественного майора есть очень квалифицированные и не в меру позитивные ребята, которые его обеспечат инструментами для использования закладки западного майора.
Я просто оставлю это здесь:https://www.cnews.ru/news/top/2022-11-03_izvestnyj_razrabotc...
Так ты просто подтверждаешь этот тезис: если ты разраб очередного криптоскама и находишься в "государстве, ассоциированном с США", то тебе стоит больше опасаться западного майора, чем родного.
Но вот сколько комментаторов опенька в Пуерто-Рико, а сколько в Москве или Новосибе?
> Потому что западный майор где-то там на западе и заставить его
> заинтересоваться тобой... ну, это нужно уж очень постараться.Вы просто мыслите в розничных категориях, а он -- в оптовых.
И да, будет ли он не просто жрать, но жить годиков через десять -- очень даже зависит от того, получится ли ему 1) поиметь в том числе Ваши мозги; 2) обставить дело так, как будто ничего и не было, "всё сама".
Два года назад быть настолько... наивным?.. было не так зазорно, как теперь -- когда маски слетают всё новые и новые, но дна за ними всё так же пока не видно.
В общем, гражжне разработчики, админы и безопасники -- учимся грамотно работать со своей собственной памятью, не пускать произвольный код из интернетов на своей собственной голове, ну и файрволы строить тоже в первую очередь внутренние.
то что не понимаешь твои проблемы
Пруфы Пруфы Пруфы.Вижуалка 15я, без предупреждений встраивала код в проги, для последующей телеметрии.
Фу... Это же виндовая аппа... Чур тебя!
К слову, до сих пор встраивает. У меня BWMeter периодически выскакивает с программой (которую я отлаживаю в VS), что она лезет в сеть. Причём программа ВООБЩЕ НИЧЕГО сетевого не содержит - тупо консольная приблуда! А я программу даже не запускал - сижу в редакторе. Вот такие дела :)На всякий случай советуют установить переменную окружения:
DOTNET_CLI_TELEMETRY_OPTOUT=1
> DOTNET_CLI_TELEMETRY_OPTOUT=1Гораздо надежнее будет не пользоваться продукцией корпорации майкрософт.
Выкидывай весь линукс, там HyperV в ядре. Мы ждем.
Отключи это ненужно. Ядро 10 минут пересобирается.
> Вижуалка 15я, без предупреждений встраивала код в проги, для последующей телеметрии.А еще они более чем дофига лет подшивают EXEшнику так называемый Rich хидер. Который так то для трекинга машины на которой вы это собрали. И зачем бы вот майкрософту такие полномочия? :)
Нет реально, Я как-то встречал на гитхабе код strlen, который работает не так как нужно:), а весь тест выглядил как-то так: int main() { // TODO } 🤦
Вы таки хотите сказать покрыть код 100% доказательством ненарушения инвариантов и отсутствия UB? Да тогда проще и быстрее будет на каком-нибудь Идрисе писать
>>> Вы таки хотите сказать покрыть код 100% доказательством ненарушения инвариантов и отсутствия UB? <<<Да, к этому нужно стремиться (как пример seL4)!
Слишком долго и дорого.
Проблема же не только в ядре - есть же еще куча прикладного софта.
Если тебя хакнут через дыру в почтовике через "особое" письмо, или через браузер прислав специальную картинку, то легче тебе не станет. А формально верифицированный месседжер... это нужно быть ну очень богатым, у АНБ таких денег нет))
Тестирование и доказательства -- это два совершенно разных подхода. Тестирование ничего не доказывает, оно лишь повышает вероятность того, что баг будет детектирован если чо.
И поэтому оно полезно только если доказать 100% полноту покрытия тестами (в идеале с учётом аппаратных косяков вроде реордеринга или даже meltdown).В остальных случаях разраб пишет кривой код и покрывает его кривым тестом исходящим из тех же неполных или вовсе ошибочных предположений
Современные программисты этих очевидных вещей не понимают
> И поэтому оно полезно только если доказать 100% полноту покрытия
> тестами (в идеале с учётом аппаратных косяков вроде реордеринга
> или даже meltdown)....желательно заранее.
// пишу с рабочего "Эльбрус 801-РС", ага
Если вы лумаете что это поможет вы явно на си не писали. Даже адрес-санитайзеры не спасают полностью.
> АНБ рекомендует.Нет, ребяты, спасибо. Я еще их "рекомендованные" EllipticCurve помню, с бэкдором.
ага, они прям во все эти языки бекдоры повтыкали, прямо в компилятор, а вот С/С++, за 40
лет так и не осилили.
Миром правит не тайная ложа, а полная лажа.
Вполне может быть, что они просто не успели вовремя взять под контроль нарождающуюся индустрию, не без оснований полагая, что смогут контролировать её через людей. А когда спохватилсь - само понятие опенсорца среди академических кругов и нарождающегося коммунити мешало просто так взять и вставить. Без скандалов. Ты сам видел, сколько вони поднялось из-за эллиптических кривых.
>Миром правит не тайная ложа, а полная лажа.Именно. Зачем втыкать бэкдоры в сами языки, если разрабы этих языков спроектировали языки так, что бэкдоры можно втыкать в зависимости? А уязвимые языки просто популяризировать, стандартами и грантами.
Все забыли про скандал с конкурсом постквантовой криптографии, где NIST просто порекомендовал уязвимую схему от сторонних разработчиков?
У с и плюсов куча реализаций, а как известно со всеми сложно договориться. У приведённых же языков по одной главной реализации, да и принадлежат они американским корпорациям. Дальше сам поймешь
> У с и плюсов куча реализаций, а как известно со всеми сложно
> договориться. У приведённых же языков по одной главной реализации,
> да и принадлежат они американским корпорациям. Дальше сам поймешьВ этом году наконец осознал чётко, что важно не то, формально открыт проект или закрыт (это вопрос доступности разработчиков в итоге) -- а то, у кого <s>ружжо</s> контроль над ним.
И когда начнут вовсю пиарить связку "rust на riscv" -- не дивитесь тому.
> rust на riscvа это чёй-та, я не в курсе вообще такой тенденции?
> а это чёй-та, я не в курсе вообще такой тенденции?- Джентльменам верят на слово.
- И тут мне карта как поперла, как поперла!
не хочу Rust на RISC-V. Да и китайцы уже как-то на Си по привычке выкатывают для совместимости и наследием.
>Я еще их "рекомендованные" EllipticCurve помню, с бэкдором.Заявление в лучших традициях "учёный изнасиловал журналиста" :facepalm:
Бэкдор не связана с эллиптическими кривыми, а с ГПЧ, использующим EC в своей основе:
https://en.wikipedia.org/wiki/Dual_EC_DRBG
Дурочок, всё ещё переживаешь за бэкдоры? А ты в курсе, что к твоему компу через IME можно поиметь доступ вообще независимо от ОС?
> Дурочок, всё ещё переживаешь за бэкдоры? А ты в курсе, что к
> твоему компу через IME можно поиметь доступ вообще независимо от ОС?Гм, ну попробуйте. Вот рабочий localhost:
e801-1:~> lscpu...и вот домашний:
Архитектура: e2k
Порядок байт: Little Endian
CPU(s): 8
On-line CPU(s) list: 0-7
Thread(s) per core: 1
Ядер на сокет: 8
Сокетов: 1
NUMA node(s): 1
ID прроизводителя: MBE8C-PC v.2
Семейство ЦПУ: 4
Модель: 2
Имя модели: E8C
CPU MHz: 1300
BogoMIPS: 2600.00
L1d cache: 512 KiB
L1i cache: 1 MiB
L2 cache: 4 MiB
L3 cache: 16 MiB
L3 cache: 16 MiBe16c:~> lscpuВаш ход. :)
Архитектура: e2k
Порядок байт: Little Endian
CPU(s): 16
On-line CPU(s) list: 0-15
Thread(s) per core: 1
Ядер на сокет: 16
Сокетов: 1
NUMA node(s): 1
ID прроизводителя: Elbrus-MCST
Семейство ЦПУ: 6
Модель: 0
Имя модели: E16C
CPU MHz: 1000
CPU max MHz: 2000,0000
CPU min MHz: 400,0000
BogoMIPS: 2000.00
L1d cache: 1 MiB
L1i cache: 2 MiB
L2 cache: 16 MiB
L3 cache: 32 MiB
L3 cache: 32 MiB
NUMA node0 CPU(s): 0-15
Михаил, все уже и так знают что у вас есть эльбрус, хватит уже хвастаться...
Тем более что купить его могли единицы тогда, а сейчас вообще не понятно будут ли производиться новые в обозримом будущем.
Михаил, к.м.к. вы напрасно теребите эту тему.Доступ к (почти) актуальным libc/binutils/kernel я получил только путём, вполне сравнимым по маразму с одной малоизвестной восточной компанией. Хотя он (доступ) _обязан_ был мне предоставлен.
Ну, и архитектура: для задач общего (относительно универсального) назначения она малоэффективна. Для RT --- тем более. Монозадачная числодробилка.
А поскольку вы откликнулись на пост с аббревиатурой IME, то то, что стоит в инициализации subj, это ни в сказке сказать, ни здесь написать.
>статистика компаний Microsoft и Google, в соответствие с которой около 70% уязвимостей в их программных продуктах вызваны небезопасной работой с памятьюУ первых индусы спагетти-код пишут, у вторых веб-макаки за бекенд отвечают, а проблема конечно в ЯП
на самом деле, конкретно здесь и конкретно сейчас, проблема в экспертах вроде тебя, которые гребут всё под одну гребенку
Для бизнеса - да, в яп. Чем проще яп, тем дешевле макака
Вместо того чтобы нанять профессианалов с опеннет, корпорации нанимают индусов и веб-макак.
Результат на лицо
Лисп, Кобол? https://git.pashev.ru/gcd/tree/gcd.cob
Где ж ты столько пенсионеров найдешь?
Если выбрать современную инкарнацию Лисп(подобных)? Ну там, Guile, например.
Современный лисп — это SBCL и CLISP. Не считая всяких LispWorks и Clojure.
> Если выбрать современную инкарнацию Лисп(подобных)?
> Ну там, Guile, например.guile -- это встройка изначально. На нём, кстати, примерно половина http://altlinux.org/alterator написана (альтовый фреймворк конфигурации, инсталятор на нём же сделан); остальное -- плюсы (движок) и шелл (бэкенды).
Периодически работаю на проектах на Лиспе. Большая часть разработчиков моложе 40 лет. На прошлом контракте я был самым старым в команде. Пенсионеры? Шта?
Где?
По сути, они объявили использование Linux и *BSD нежелательным. XNU, Fuchsia - используют «более безопасные» микроядра и Windows как бы тоже (по заявлениям производителя).
Винда писалась на Си и асме. Потом появились включения на Сипипи.
Не играет роли, на чём писалось ядро NT когда-то. Вон в Википедии написано, что там гибридное микроядро. ;) Анонимные эксперты утверждают, что микроядро безопаснее. Стало быть требование АНБ выполняется. Отныне Linux безопасно только в WSL. Чем больше боты налепят минусов - тем WSL безопаснее. ;)
Ты столько терминов намешал в одну кучу... Похоже, всё, что ты знал.
Я ему просто хотел сказать что это выходит за пределы темы и надо было предупредить, что Вы возможно рассматриваете весь отчет. Но вместо этого увидел, что n00by запретил принимать ответы от Уходящий.
Сама попытка защитится от сегменташен фол смешна. Процесс - смесь статического кода, динамических подгрузок и данных. Доказательства - ошибки сегментации и эскалация привилегий при вводе соответствующих данных. То есть переход на правильный компилятор не решаетпроблему, хотя в формальных организациях может уменьшить количество.
Нужно просто всем начать писать код без ошибок и тогда будет неважно какой ЯП ты используешь.
Как же мы сразу не додумались то?
От коллег регулярно слышу "умные указатели для дураков, что я, не смогу free() вызвать что-ли!?"
Так что многие уже дошли до написания идеального кода с первой попытки, правда только в своём воображении.
Всем чистых функций и вменяемых названий переменных в этом треде!
Ada всё? Оно вообще ещё применяется для новых проектов? Просто интересно
https://learn.adacore.com- живет и вполне себе развивается, используется в автопроме. И хорошо что авторы из АНБ об это не знают.
если че авиационное - так ада по обязаловке
Я из-за Opennet выучил Rust 🤨
Просто тут обычно всегда. Если что ругают, значит хорошая вещь.
Тут ещё Windows и тяжёлые наркотики ругают. Советую попробовать.
Не ругают здесь windows, здесь её хвалят
В одном старом советском фильме была аналогичная история про женские сапоги.
"Служебный роман". Прекрасная вещь даже для 21 века.
Это которое дико сопливое, не спасибо.
> Я из-за Opennet выучил Rust 🤨Че, реально? И мозг не вспух?
> И мозг не вспух?А был ли?
> Че, реально? И мозг не вспух?Нет, бомбило вот несколько раз, и весьма сильно.
Вот читаешь: "так? вы серьёзно там?".
Ну что, судя по статистики популярности ЯП, работодателей у Вас немного.
> работодателейДа я как-то и не планировал в этом плане заменять плюсы.
Так ознакомиться, и кое-что в интересующих меня проектах на Rust поковыряться.
сейчас вся криптоиндустрия на нем.
к сожалению, сама криптоиндустрия сейчас глубоко в месте ниже спины, эх.
Язык в котором a=b может быть одной сущностью а может оставаться разными и который говорит если что-то идет не так не надо сопротивляться. А глубокая динамическая типизация? Кстати, по-моему, рекомендованные языки объединяет динамическая типизация.
> Кстати, по-моему, рекомендованные языки объединяет динамическая типизация.Динамическая типизация в расте, в яве? Где она там?
Согласен с раст. В яве хоть статическая типизация зато ява-машина дает простор для внедрения и поддерживается корпорацией.
> для внедрения и поддерживается корпорацией.Внедрения чего? Бэкдоров анбшных? Ну тогда понятно зачем там либы такие огромные :)
По раст можно посмотреть реализацию полиморфизма в языке на предмет уязвимостей.
>Кстати, по-моему, рекомендованные языки объединяет динамическая типизация.Просто смузи-любы не понимают типов данных, так же как не знаю что такое шина адреса.
Поэтому им рекомендуют языки с динамической типизацией, чтобы эти так называемые "программисты" хоть что-то могли написать.
Любому профессианалу с опеннет это ясно как божий день.
А ещё можно задуматься : с КАКОЙ ЦЕЛЬЮ тролли так активничают против повышения устойчивости софта к "посторонним воздействиям" .
Когда что-то в конечном коде контролируешь не ты, а кто-то "честный", то это вызывает настороженность.
"Контролируешь не ты" в софте , установленном у других . ))) Можете пользоваться сишкой , но шум поднят из за того - что будет У ДРУГИХ . А вас это может волновать только в одном случае .
Какой толк тогда мне использовать интернет и криптографию, если у других данные будут видоизменяться, отправляться куда-то не туда или тупо не доходить?
Если я напишу свой клиент вацапп/телеграм/дискорд, сам приложениенейм от этого куском бекдора быть не перестанет, а если собеседник знает что такое gpg, то я могу хоть на заборе ему данные отправлять и доверять тому, что они дойдут только ему.
> Я из-за Opennet выучил RustКогда кто-то (даже с десятилетиями опыта) говорит "выучил" язык (т.е. полностью в прошедшем времени) - это говорит о том, что он/она только просто ознаколись с синтаксом и семантикой.
> "выучил" язык (т.е. полностью в прошедшем времени) - это говорит о том, что он/она только просто ознаколись с синтаксом и семантикой.Да, это и имел в виду. Только закончил чтение книги по Rust. Несколько примеров в ней делал - на этом практика заканчивается.
Поковыряю два проекта на эту тему.
отлично, незря бабки получены за популиризацию
С олдскульными уязвимосями очень трудно работать. А квалификация персонала падает, сноудены уезжают. Для повышения эффективности и надёжности сбора информации и внедрения бэкдоров cairo-подобная методика выглядит весьма перспективно. Экономит бюджет опять же. Упрощает логистику доставки мэлвари. Прямо сплошной profit!
Ты забыл про API к Pegasus, автоматический дамп подозрительных внешних данных, автоматическую предварительную их обработку на железе юзера и потоковую передачу прямиком на ЦОДы АНБ с занесением мыслепреступления в личное дело. Автоматизация нужна.
Каким боком Pegasus к АНБ то относился? Это обычный тулкит, продавался Израильской NSO даже странам вроде Эритреи. Или настолько одарённый что перепутал NSO и NSA?
>Каким боком Pegasus к АНБ то относился? Это обычный тулкит, продавался Израильской NSХочу напомнить, что АНБ и Израиль плотно сотрудничают друг с другом минимум со времен кибератаки на Иранскую ядерную программу. Поэтому ничего удивительного нет.
Они даже смещение для указателя правильно вычислить не могут чтобы не выходить за границы массива...
А ты тут про настолько сложные аббревиатуры спрашиваешь!
Вот это новости оказывается Ruby безопасно работает с памятью, а Python нет. Чего только этот ваш АНБ не придумает.
АНБ знает, на какие языки должны перейти другие, удобные для АНБ ;)
АНБ советует переходить на смузи-любные языки-скриптухи
В ответ на это все эксперты-программисты с опеннет будут переходить на ANSI C
Западный тов.майор начал замечать, что все больше и больше комментаторов Opennet переходят на Rust, а следовательно ошибок с памятью становится меньше, как и уязвимостей, через которые можно организовать слежку. Ведь, безопасная работа с памятью обеспечивается в Rust во время компиляции через проверку ссылок, отслеживание владения объектами и учёт времени жизни объектов (области видимости), а также через оценку корректности доступа к памяти во время выполнения кода. Rust также предоставляет средства для защиты от целочисленных переполнений, требует обязательной инициализации значений переменных перед использованием, лучше обрабатывает ошибки в стандартной библиотеке, применяет концепцию неизменяемости (immutable) ссылок и переменных по умолчанию, предлагает сильную статическую типизацию для минимизации логических ошибок.
И тогда хитрые агенты АНБ решили сделать информационный вброс, чтобы все комментаторы Opennet снова вернулись на ANSI С и продолжили допускать ошибки при работе с памятью.
Всю эту твою воображаемую магию раст делает только в дев сборке, а не в продакшн сборке, так что ненужен.
Не правда. В проде отключается только проверка переполнений, а проверка границ остается.
Поэтому даже получив переполнение ты не попортишь память.
Переполнение и не должно портить память оно просто неправильные данные выдает, а это небезопасно, так что в помойку ваш ненужный раст.
Конечно не должно, но тем не менее портит https://www.opennet.ru/opennews/art.shtml?num=57940
Неправильные данные это проблема конкретного приложения.
А выполнение произвольного кода - уже проблема оси.
> а проверка границ остаетсяНе подскажешь, почему в FF растаманы руками проверяют вхождение смещения в массив? Это тот случай, когда они перепутали знаки сравнения...
> даже получив переполнение ты не попортишь память...до тех пор, пока переполненное число не зацепилось в адресацию.
> отслеживание владения объектами и учёт времени жизни объектов (области видимости),чего на ?
Я лучше на Hare перейду.
Небезопасный совсем жеж
Ну не руби же переходить. Лол. Они бы ещё Перл посоветовали.
не буди в себе зверя, особенно зайца
Это хитрый план
А как же Ada. Язык создавался минобороны как раз с целью безопасности и строгости работы с типами. Когда-то они думали что на этом языке будут писаться все новые программы, а теперь даже посоветовать в рекомендации забыли.
А зачем всем знать язык для военных? Его должны знать только военные.
Военные и первую годную сеть, ставшую прообразом интернет изобрели. Ты ею пользуешься и даже не жужжишь.
Компилятор языка ADA - это один из компиляторов, поддерживаемых GNU: https://www.gnu.org/software/gnat/
Открытый компилятор есть и его даже используют. Это хорошо, но зачем такой переусложнённый и многословный стандарт придумали.
Лычку "Сертифицировано АНБ" получили?
Потому, что ононимам с опеннета даже до диез слишком сложный, куда им Аду
Потому что ты не будешь на Ада писать прикладной софт - это слишком долго/дорого.
А она как была в своей нише, так и осталась.
С чего это ты решил, что писать прикладной софт на ADA - это дорого и долго?
Я тебе тут одну умную вещь скажу, только ты не обижайся на свои бесцельно прожитые годы, но одна из самых больших систем управления предприятием и сопутствующими направлениями, написана на диалекте языка Ada - языке PL/SQL. Эта система называется - Oracle e-Business Suite (а ее клон - Oracle Fusion Applications Suite). И пишется там бизнес-логика намного быстрее чем на богомерзских Java, C#, не говоря уже о вызывающем отвращение своим синтаксисом Rust.
А теперь посмотри сколько стоит час работы спеца по PL/SQL и С#.
А потом сколько есть на рынке людей, которых ты можешь нанять в разумное время.
Сравнивать узкоспециализированное расширения для SQL с языками общего назначения немного странно.
По твоему ответу видно, что ты совсем не в теме, но что-то пытаешься изобразить.
1. PL/SQL - это не "расширение SQL". PL/SQL - это реализация языка Ada фирмой Oracle применительно к базе данных Oracle DB с бесшовной интеграцией в этот язык выражений языка SQL там, где в таких, типа "высокоуровневых" язычках как Java, C# требуется тонны неэффективного обвеса. Есть и другие языки с бесшовной интеграцией выражений SQL, например z-язык в Босс-Кадровике. PL-SQL - это язык общего применения и выполняется в своей среде выполнения. А язык SQL - выполняется в отдельном движке. PL/SQL компилирует как в коды виртуальной машины PL/SQL, так и в native код процессоров. PL-SQL был внутренним языком для таких GUI- инструментов как Oracle Forms, Oracle Reports. На нем из коробки можно было работать с файлами, папками, с Excel, Word, отправлять электронную почту, делать таймеры и т.д., а через интерфейс с языком С - и со всеми остальными фичами ОС. Был еще один проект, где делали неоракловую реализацию виртуальной машины для написания логики на стороне веб-сервера. PL-SQL вполне себе ООП-шный язычок, но не все могут не нем это делать.
2. Если Java и C# по твоему утверждению "языки общего назначения", то не мог бы ты привести написанные на этих язычках, например, ОС реального времени. На С/С++/Ada такие системы, например, есть.
3. Зарплата PL/SQL разработчика одинакова или ниже зарплаты C# разработчика, не говоря уже о Java разработчиках. Другое дело что разработчиков на PL/SQL будет во-первых меньше так как Oracle - недешевое удовольствие и не стоит у каждого Васяна, а во вторых junior-разработчики на PL/SQL меньше востребованы - туда предпочитают брать уже людей с опытом.
Да вроде ничего не пытаюсь изобразить. Написал именно так как оно есть "PL/SQL (Procedural Language for SQL) is Oracle Corporation's procedural extension for SQL". Если хочешь поумничать в формулировках, то это не ко мне.
Оно прибито гвоздями к Ораклу и, как ты сам сказал, "недешевое удовольствие и не стоит у каждого Васяна", поэтому писать на нем софт для обычных пользователей никто не будет.С каких пор написание ос реального времени стало прерогативой "языков общего назначения", а не "системных языков". Хотя ладно, держи ос на C# https://github.com/CosmosOS/Cosmos
А вот экпериментальная ось на Java https://www4.cs.fau.de/Projects/JX/index.html
Пентагон рассчитывал что Аду будут использовать в многих сферах с высокими требованиями к надёжности. А тут жалуются на баги, но не советуют свой разработанный язык.
Ребята, которые выбирают Аду и так достаточно компетентны, чтобы не нуждаться в чужих рекомендациях. Например, та же Nvidia уже несколько лет как успешно перекатывается на SPARK, а не на Раст (в презентации написано, мочему):https://www.slideshare.net/AdaCore/securing-the-future-of-sa...
https://www.adacore.com/uploads/techPapers/222559-adacore-nv...
По теме статьи, эти ссылки будут более полезными:
https://www.adacore.com/uploads/techPapers/Safe-Dynamic-Memo...
https://www.adacore.com/uploads/techPapers/DynamicMemoryMana...
Ada'у делали инженеры для инженеров (хоть и с военным уклоном). А сабж --- это для практических т.н. спецопераций.
А как же Ada. Язык создавался минобороны как раз с целью безопасности и строгости работы с типамиэто во вторую очередь
а в первую очередь просто для стандартизации и уменьшения издержек сопровождения программно-аппаратных комплексов
по крайней у меня в книжке по аде это стоит на первом месте
> названы C#, Go, Java, Ruby, Rust и Swift....развиваемые корпорациями до которых удалось дотянуться АНБ? Так что вулны будут сразу в огромных рантаймах или репках компонентов? А, еше правильное крипто надо через репы всем всучить :)
> ...развиваемые корпорациями до которых удалось дотянуться АНБ?Развиваемые корпорациями, в которых уже много лет есть неприметные кабинетики с еще более неприметными сотрудниками очень ботанически-инженерного вида, но с крайне убойными документиками внутри засаленных пиджачком и заношенных жилеток.
А случаем ты не один из них, раз так хорошо знаешь всю внутреннюю кухню и замечаешь всех неприметных, и даже содержимое их карманов знаешь?
Не-а. Просто иногда достаточно регулярно почитывать англонет и вращаться в англоязычных инженерных сообществах. Сами амеры от такого далеко не в восторге
> Не-а. Просто иногда достаточно регулярно почитывать англонет и вращаться в англоязычных
> инженерных сообществах. Сами амеры от такого далеко не в восторгеТоже мне врашенец нашелся. В скольких мегакорпорациях из топ500 побывал?
А где же Ada?
Значит, на Ada точно можно переходить, раз его не упомянуло АНБ.
Просто Ада родилась и ушла на пенсию до появления АНБ.
>C#, Go, Java, Ruby, RustВсе с помойными вендоризующими менеджерами зависимостей, в лучшем случае просто превращающими проект в раздутую жрущую память необновляемую помойку, а в худшем - подтягивающими бэкдоры.
> C#, Go, Java, Ruby, Rust и Swift"Опубликован список презираемых языков" :)
*предохраняющих языков
От нежелательной беременности.
> предохраняющих языковязыков, предохраняющих от нахождения закладок.
Чёрный список.
Спасибо, АНБ.
АНБ: Советы постороннего.
Бедные АНБшники задолбались обновлять OpenSSL на всех своих серверах и решили выпустить новые рекомендации про языки.
Лучше на Scheme.
Ну и в чём АНБ не правы?. Диды за 50 лет так и не научились не ходить под себя работая с памятью, благо умные люди подумали и сделали им Rust, но к сожалению дидов не изменить, фанатичность с которой они демонстрируют своё невежество не знает границ, как это так, 50 лет испражнялись в штаны и нормально было, а сейчас вдруг им это запрещает какой-то борроу-чекер
КОБОЛ появился в 1959. Лисп — в 1958.
Забавно.
Я в той же терменологии могу описать растовиков и прочих мамкиных кодеров.
Чуваки так боятся оторватся от сиськи и взять на себя отвественно хоть за что то, что избегают любого языка где у них не будет отмазы: "мамка и компилятор всё разрешили, значит мой код правильный!".Если говорить за код, то я не вижу ничего страшного в том что оно может упасть или потечь, это чинибельно.
Плюс есть куча правил и методик следуя которым ничего такого не случается.
Поэтому большая часть проблем с С возникает у новичков, я бы сказал в процессе обучения, в первые годы, когда они набивают шишки.Если писать простой и чистый код, то никаких вылетов за границы и прочего не происходит, тут никаких отличий от джавы нет.
Да, и полезно думать что пишешь, добавлять проверки входных данных а не надеятся что всегда плетает нечто корректное. Многие на этом и ломаются, и не только в С, просто в таком случае С может пойти вразнос а какая нить джва обматерит и выдаст исключение.
> Если писать простой и чистый код, то никаких вылетов за границы и прочего не происходитТак научи погромистов ядра, OpenSSL и прочих писать такой код!
Они совсем не новички, но лажают с заметной регулярностью.
просто туда пробрались смузилюбы, растоманы и прочие подкупленные АНБ, которые специально оставляют уязвимости. Любому профессианалу с опеннен это ясно.
Ядро мне вполне качественно во фре, опенссл я не юзаю.
И обучать тех кто не просил - так себе занятие.
Для этого вначале нужно отправить в утиль манагеров, которые не понимают, что такое стоимость владения решением и чем она отличается от стоимости разработки.
Есть нюанс, в тот момент когда писали OpenSSL не было нынешник практик написания кода, а слова статический анализ не сущетсоввало в природе. Плюс начиналось это как 2 энтузиаста в свободное время что-то накодили.
Подмена понятий. Сама процедура перевода из понятного человеком языка в инструкции конкретного процессора до сих пор не решена (точнее не найдено оптимальное решение отличное от полного перебора всех комбинаций). По этому программирование к сожалению все еще искусство - ремесленничество.Все усилия по приближению качества к "полному перебору вариантов" сотредоточены в GCC, потому им и пользуются, а не то что некие "диды привыкли в к старому". Диды с большей вероятностью обладают знанием где "главный движ" и предпочитают это. Недиды вынужденны черпать информацию от броской крикливой рекламы и ведутся на хрусты как раньше в каждом утюге был XML и SQL, тупо что ни открой там всегда строка "какой то авторететнейший академик сказал что то про XML". Во ВСЕХ изданиях, хоть рецептах пирога хоть оюбзорах авто - на полях баннер с "XML это будущее".
Перебегут все разработчики GCC в хруст - тогда и будем говорить а пока удачи вам с борроучекером.
> Ну и в чём АНБ не правы?. Диды за 50 лет так
> и не научились не ходить под себя работая с памятью, благо
> умные люди подумали и сделали им Rust, но к сожалению дидов
> не изменить, фанатичность с которой они демонстрируют своё невежество не знает
> границ, как это так, 50 лет испражнялись в штаны и нормально
> было, а сейчас вдруг им это запрещает какой-то борроу-чекерДеды писали софт в эпоху до интернета и проблемы с памятью их не особо волновали. Другое дело хипстеры которые 10 лет форсят раст, но до сих пор ничего стоящего не написали, зато проблем уже насоздавали не меньше чем у дедов. И да, безопаснее на расте не стало, но вы верьте.
Вот эта новость прямо лакмусовая бумажка на дебилов и параноиков!
Здесь действительно новость о БЕЗОПАСНОСТИ, никакого двойного дна или хитрых интриг. Просто АНБ напомнила о себе, опубликовав азбучную истину.
C#, к слову, существует с 2001 года - кто не сел в этот поезд, за такого уже даже врачи не берутся. :)
Я не сел и ни какпли не жалею.
Потому что был божественный Visual Basic, а всё чего ему не хватало могла божественная Сишечка.
Когда уроды из МС попытались это скрестить и насильно всех на это пересадить - мне туда не захотелось.C# до сих пор за пределами венды никому не упал, как и вся .net платформа.
А с Сишечкой я везде вхож, где мне надо.
> C# до сих пор за пределами венды никому не упал, как и
> вся .net платформа.Справедливости ради, среди вопросов по эльбрусам "есть ли дотнет?" встречаются достаточно часто (особенно последние пару лет) -- 3.1, кстати, уже отнесли и пилят 6.0 (не то чтоб я был в восторге, особенно с учётом вышеупомянутой милоты про телеметрию, но как факт).
А так в очередной раз вспомнились откровения бывшего сотрудника MS:
---
The Raymond Chen Camp believes in making things easy for developers by making it easy to write once and run anywhere (well, on any Windows box). The MSDN Magazine Camp believes in making things easy for developers by giving them really powerful chunks of code which they can leverage, if they are willing to pay the price of incredibly complicated deployment and installation headaches, not to mention the huge learning curve. The Raymond Chen camp is all about consolidation. Please, don’t make things any worse, let’s just keep making what we already have still work. The MSDN Magazine Camp needs to keep churning out new gigantic pieces of technology that nobody can keep up with.
--- http://www.joelonsoftware.com/2004/06/13/how-microsoft-lost-.../(там вся статья стоит прочтения -- прошедшие годы только подчеркнули верность изложенного)
Потому что дотнетчики это такие вебмакаки типа пхп и питон програмистов только из мира венды.Статью читал очень давно, и тоже согласен/понравилась.
> C#, к слову, существует с 2001 годаКОБОЛ появился в 1959. Лисп — в 1958. Это не деды не осилили, деды как раз всё понимали. И работали на гораздо более ограниченных машинах, в том числе где malloc() (если он там был) мог вернуть NULL.
> C#, к слову, существует с 2001 года - кто не сел в
> этот поезд, за такого уже даже врачи не берутся. :)-Используете C#?
-Что вы доктор, конечно нет.
-Вы здоровы, я вам не нужен.
Сел и слез после второй версии. Был хороший чистый язык, потом напихали много всякого, выпустили десяток несовместимых версий, названия туда-сюда меняли
https://www.youtube.com/watch?v=5-OjTPj7K54I was taught assembler in my second year of school.
It's kinda like construction work with a toothpick for a tool.
So when I made my senior year, I threw my code away,
And learned the way to program that I still prefer today.Now, some folks on the Internet put their faith in C++.
They swear that it's so powerful, it's what God used for us.
And maybe it lets mortals dredge their objects from the C.
But I think that explains why only God can make a tree.For God wrote in Lisp code when he filled the leaves with green.
The fractal flowers and recursive roots: the most lovely hack I've seen.
And when I ponder snowflakes, never finding two the same,
I know God likes a language with its own four-letter name.Now, I've used a SUN under Unix, so I've seen what C can hold.
I've surfed for Perls, found what Fortran's for, got that Java stuff down cold.
Though the chance that I'd write COBOL code is a SNOBOL's chance in Hell.
And I basically hate hieroglyphs, so I won't use APL.Now, God must know all these languages, and a few I haven't named.
But the Lord made sure, when each sparrow falls, that its flesh will be reclaimed.
And the Lord could not count grains of sand with a 32-bit word.
Who knows where we would go to if Lisp weren't what he preferred?And God wrote in Lisp code every creature great and small.
Don't search the disk drive for man.c, when the listing's on the wall.
And when I watch the lightning burn unbelievers to a crisp,
I know God had six days to work. So he wrote it all in Lisp.Yes, God had a deadline. So he wrote it all in Lisp.
Это не оригинально ещё в 90х сделали аниме про то что бог написал мир на лиспе. Там правда ещё и ipv6 кто-то использовал, видимо, какая-то параллельная реальность где ipv6 взлетел.
Точнее сделали игру и по ней аниме. Или наоборот? В любом случае, этот выглядит очень посредственным и вторичным, интереснее когда что-то своё придумывают
Иди в ж-о-пу, неоригинальный. Эта музыка будет вечной.
Аниме было за много лет до музыки, я правильно понимаю? Ох уж эти ньюфги.
too religious.
> too religious.Так это вечные западные попытки "занять морально-командную высоту", ну и заодно Творца рационализировать на своём песчиночном уровне -- о таком ещё свт. Феофан Затворник нередко упоминал (про "немцев").
>> too religious.
> Так это вечные западные попытки "занять морально-командную высоту"Скорее - традиционная зарелигизованность англо-саксонского "запада" по самое никуда последние полтыщи лет. ) Хотя, не везде и не всегда.
значит у АНБ во всех перечисленных языках есть закладки, а в си и с++ не особо?
В Си проверить можно появилось ли на выходе что-то что ты не писал, а вот в остальных нагенерено куча "обработчиков".
А в целом с родни сравнения машины с матрасом, от машин гибнут люди, то ли дело матрас.
> значит у АНБ во всех перечисленных языках есть закладки, а в си
> и с++ не особо?В каком из? В отличии от раста, го и шарпа, у си и плюсов довольно много разных компиляторов от разных компаний.
+ у си есть ISO, а это почему-то встало поперёк горла кое-кому...
>> значит у АНБ во всех перечисленных языках есть закладки, а в си
>> и с++ не особо?
> В каком из? В отличии от раста, го и шарпа, у си
> и плюсов довольно много разных компиляторов от разных компаний.Не так уж их и много осталось. Comeau умер. EDG Frontend ещё жив. Осталось обвинить EDG в сотрудничестве с МЦСТ.
> АНБ рекомендуетспасибо за подсказку, чтобы не пользоваться рекомендуемыми анбэшниками продуктами.
С проприетарной/вендорлок (подконтрольной) инфраструктурой. Даешь ГНУ вне закона ! :DПодсказка для раскачки хайпа - у девочки была подруга кодящая на гнутом си, потом их закидали камнями или скрепами (на ваш вкус).
> Даешь ГНУ вне закона ! :DЭто мы сейчас смеёмся. Когда-то С++ преподносили как наикрутейше-безопасный язык... Но то был лишь разбег перед прыжком в пропасть.
У Раста это ещё впереди.
> впередиМ. Горький. На дне.
это чтобы можно было в руст и го напихать зондов, а потом эксплуатировать их везде? да?
Из компиляторов сделают то же самое, что сотворили с браузерами: никаких стандартов, монстуозность, релизы каждые 3 недели.
А зачем браузерам стандарт? Я и есть стандарт! (с) судья дред^W^WГугл хром
Напишите ваш адрес где вас можно найти и мы обязательно вам ответим. Ваш АНБ
> названы C#, Go, Java, Ruby, Rust и SwiftЯзыки вендорлоки, которыми владеют американские корпорации. И куда легче будет засунуть закладку: сюда или во множественные реализации с и с++?
Ток с и c++ можно декомпилировать и пропалить закладочки, не говоря уж о том что листинги выдаваемыми различными компиляторами разработчики анализируют хотя бы из интереса. Всё это решается государственным регулированием конечно, когда запрещено собирать код чем-то посторонним. Но можно и проще намного. А в вендорлоках идеология совсем иная и не принято копаться, так что да.
Хипстеры боятся низкоуровневого кода, «безопасный» язычок все сделает за них, в том числе и сгенерирует закладку. Удобно.
Всевозможные clang/llvm вас же не смущают.
<В числе рекомендованных языков, позволяющих снизить риск появления ошибок, вызванных небезопасной работой с памятью, названы C#, Go, Java, Ruby, Rust>О как! Rust настолько надёжен что его АНБ признала надёжным!!! Шах и мат не верящие в силу безопасности Rust! )))
Надёжным для обфускации кода?
Будущее (5-7 лет) за мобильными RDP на чипах без возможности исполнения кода на стороне клиента, только сетевое подключение и ввод/вывод, исполненные на кристалле, без классической OS (aka Pegasus - до свидания), и с микропотреблением (веб и native apps - конечная, поезд дальше не идёт, линза доп. реальности - твой выход, а не то что красиво влили в уши Цукеру), приложения 100% server-side на трейтах, подписанных на блокчейне. Финансы исключительно на zero knowledge (пока только Zcash соответствует, остальное - полный треш, это разве непонятно?), приватные ключи в NFC smart без возможности доступа к ним (там генерируются, там и умирают), во внешнюю среду передаются только уже подписанные транзакции (3-5 лет до этого). Что еще из интересного - закат эры государств в их сегодняшнем виде, край - 2030 и процесс начался в 2020. Наблюдайте... Участвуйте... Enjoy! (текст написан в 2016)
Внедряем гомоморфное шифрование, чтобы сервер не знал что клиент хочет вычислить, но вычислил и нет проблем. Юникс тоже начинался с терминалов.
Вопрос - зачем? Чтобы что?
Электроэнергия слишком лишняя... Как с криптой.
А это мы ещё посмотрим.
Хозяйке на заметку!"В АНБ умерли от старости специалисты знающие чистый Си". Остались одни веб-макаки, и специалисты по быдло языкам, таких как C#, Go, Жаба.
А vb.net в список рекомендованных входит?
Python не смогли подмаслить.
Да туда и java попала по ошибке.
Понятно, почему java ест памяти так много - чтобы программам на небезопасных языках программирования меньше досталось.
"Слушай, что рекомендует АНБ и делай наоборот!" Странно, если бы после разоблачений Сноудена было бы иначе.
> "Слушай, что рекомендует АНБ и делай наоборот!"Это тоже управляемость, только не прямая-прямая, а прямая от противного ("выслушай женщину и сделай наоборот").
Делай что должно.
Чего только люди не придумают лишь бы оправдать свою глупость и безграмотность.А как бы не кричали, альтернатив C и C++ нет. А если ещё открыть стандарт и ознакомиться, то окажется что проблемы все от которых говорят умственно пострадавшие от ковида, то давно то и нет. Всё уже давным давно решено в современном С++
Но тут похоже чтение книжек и стандартов непосильная задача для ржавых
То что там Google и Microsoft это понятно. По качеству их продуктов понятно что индусня там работающая просто неосиляторы
Главная проблема современного С++ это современный С++, хуже языка не придумать, даже автор этого детища плюнул на всё и убежал
> Главная проблема современного С++ это современный С++, хуже языка не придумать,Главная проблема современного C++ это неспособность обезьян читать стандарты и думать головой.
Вот уже где хуже не придумать так это синтаксис раст
> даже автор этого детища плюнул на всё и убежал
Ну ты же в курсе что тебе жестоко обманули? Может лучше читать научиться и почитать стандарт и об авторах а не изображать бурную деятельность ничего не делая на языке на котором ни у кого ещё ничего дельного не получилось.
> Главная проблема современного C++ это неспособность обезьян
> читать стандарты и думать головой.Дяденьки, я к плюсам вообще ни при чём (как почитал лет 20--25 назад книжку да понял, что на голову не лезет -- так и не полез; потом дошло, что множественное наследование в плюсовом стиле и дальше бы было головной болью конкретно в моём случае). Но чисто как факт: знакомые весьма компетентные плюсоводы плюются от то ли >=14, то ли >=17 -- мол, натащили непотребств.
>> Главная проблема современного C++ это неспособность обезьян
>> читать стандарты и думать головой.
> Дяденьки, я к плюсам вообще ни при чём (как почитал лет 20--25
> назад книжку да понял, что на голову не лезет -- так
> и не полез; потом дошло, что множественное наследование в плюсовом стиле
> и дальше бы было головной болью конкретно в моём случае).Плюсы это не множественное наследование или ООП. Это мультипарадигменный язык, отсюда много «лишнего». const в Си пришёл из плюсов.
> Но чисто как факт: знакомые весьма компетентные плюсоводы плюются от то
> ли >=14, то ли >=17 -- мол, натащили непотребств.Когда следил за развитием, видел несколько proposal от Яндекса. А эти компетентные плюсоводы пытались как-то повлиять на решения комитета?
> Плюсы это не множественное наследование или ООП. Это мультипарадигменный язык, отсюда много
> «лишнего». const в Си пришёл из плюсов.В каждой версии у комитета были разные идеи куда и что, наслоения получились странные. Впрочем rust сейчас станет тем же самым, куда он денется? Уже натолкали дофига странного. Только еще и стандартами не оформлено.
Так вот в наличии стандарта вся соль. В спорных ситуациях по Си и Си++ нередко решает стандарт. И второй вынужден учитывать первый. В Rust возможна ситуация, когда кто громче кричит, тот и прав.
Похоже что чтение книжек и стандартов непосильная задача как раз для плюсовиков, которые до сих пор пишут в стиле "си с классами"
> Похоже что чтение книжек и стандартов непосильная задача как раз для плюсовиков,
> которые до сих пор пишут в стиле "си с классами"Прикинь, у тех кто способен читать книжки и стандарты нету проблем ни с плюсами ни с чистым си. Но тебе то откуда знать. Ты ни си, ни плюсы, ни свой раст не осилил.
Можешь сколько угодно писать свои мантры о расте вместо того чтобы хоть что-то сделать.
Открой стандарт и убедись сам. Ну ладно ладно, начни с букваря.
> Похоже что чтение книжек и стандартов непосильная задача как раз для плюсовиков,
> которые до сих пор пишут в стиле "си с классами"Это в основном виндовые кодеры, и делают они это потому что си в студии кусок позора и даже C99 нормального до сих пор нету. Вот они и юзают плюсы, чуть ли не ради нормальных типов да // в коментах. Классы в таком случае уже навороты, чаще и этого нет. Ну вот есть такой выводок больных на голову кодеров взрощеных майкрософтом.
Грустно это всё... В очередной области пошла методика: "Не можешь победить - запрети!".
Кто тебе запрещает?
> Кто тебе запрещает?Как Вам сказать. До недавних пор американцы не-не, не запрещали европейским бузинесу да финансам валить "в безопасТную гавань".
Те, правда, как-то не очень бодро на такую роскошную возможность велись, поэтому когда вопрос "кого резать, чтоб вампиру ещё полчаса пожить" встал ребром (а Медведь, Панда и даже Верблюд свежеваться отказались) -- пришлось Тигру всё-таки резать заранее откормленного Волка.
Прям серпом по трубам.
Серпом по трубам ваш главный сам, возомнив что шантаж - способ ведения бизнеса. Нвидия тоже так думала, получила бурное развитие RISCV. Ну а вы получили бурное развитие СПГ в европах и танкеры которые разгружать не успевают. Ничего личного, это бизнес.
Слабак, который не асилил asm, кричит, что у него нет альтернатив. Потому что слабак.
Си и с++ это 2 РАЗНЫХ ЯЗЫКА. Плюсоносцы постоянно примазываются к си, дабы придать себе православности, хотя без своих библитек, они даже пару страниц кода на си не осилят. Потому что умеют только две кнопки нажимать.
Народ, а компилятор Эльбруса поддерживает Эль-76?
> Народ, а компилятор Эльбруса поддерживает Эль-76?lcc -- нет.
Постеснялись, ещё рано в лоб сообщать, но для следующего поколения погромистов будет в порядке вещей (и зонд в голове не понадобится, как нынешним):
"Организациям рекомендовано по возможности уйти от использования языков программирования, таких как Си и Си++, перекладывающих управление памятью на разработчика (человека, понимающего и контролирующего написанный им код), в пользу языков, обеспечивающих автоматическое управление (силами и средствами АНБ)."
Забавный факт, что каждый из рекомендованных языков принадлежит какой-то компании, которая монопольно разрабатывает компилятор, что облегчает вставку в этот компилятор чего-то, что захочет АНБ. В отличие от Си и СИ++ для которых компиляторов воз и маленькая тележка
Там ещё забавно, что у Плюсов-то есть ISO, в отличие от... И это тоже наталкивает на мысли.
С чего ты взял, что есть сложности сделать вставку в любой открытый компилятор?
когда есть связка "единственный компилятор - компания", сделать это гораздо проще.
> Забавный факт, что каждый из рекомендованных языков принадлежит какой-то компании, которая монопольно разрабатывает компилятор, что облегчает вставкуЗабавный пук в лужу.
https://gcc.gnu.org/onlinedocs/gccgo/
https://github.com/Rust-GCC/gccrs> В отличие от Си и СИ++ для которых компиляторов воз и маленькая тележка
Это опеннетный эксперт решил, посмотрев в педивикии табличку "компиляторы си/плюсов"? Ну что сказать - опеннетные эксперты, они такие. Почти совсем не палятся.
Java был нормальный язык, пока его синтаксис не был изнасилован в угоду автоматической, роботизированной обработке :(А ведь когда-то именно из-за своего чистого и опнятного для человека синтаксиса Java и перетянул кучу разрабов с языка С.
у жабы фатальный недостаток: разработан не в MS...
Он был написан чтобы переманить сишников.
АНБ рекомендует это как "Феминистки поясняют" пользоваться языками высокого уровня чтобв лучше греть планету и отказаться от ассемблерных вставок, а то ваш код может рпботать быстро и АНБ аналитикам ничего станет непонятгюно.
А вообще АНБ гюрекомендует всем пользоваться их модемами на 28800 килобод.
А русским АНБ рекомендует вообще пользоваться телетайпами и матричными принтерами для вывода информации. А еще лучше чтобы он перестали пользоваться компьютерами.
Ну вот, теперь все становится ясно. АНБ и некоторые компании имеют тесную связь. Вот от куда Раст фаундейшн взялся. Вот почему АНБ советует не использовать Си и С++, что по сути отзначает совет не использовать Юникс (который вообще-то в разы безопаснее Виндовс). Вот от куда совет использовать С#, Java, так как эти два далеко не лучших языка разрабатываются определенными компаниями.
Ясно, эти ЯП не учим
Языки созданы, чтобы выполнять с их помощью работу, а не для того, чтобы их зубрить.
увы, это не про раст.
Приколитесь, вот если бы китайский КГБ дал рекомендацию что-то там использовать... Сколько бы ору было в Штатах?
От этой новости у меня ещё с прошлой недели зубы от попкорна болят, а теперь тут )
Без Ады. В АНБ пришло поколение ЕГЭ (муриканского разлива)
Фсб не рекомендует использовать языки безопасно работающие с памятью:)
Пруфов, конечно, от тебя не будет...
> организациям советуют усилить защиту, используя дополнительные опции компиляторов, инструменты для выявления ошибок и настройки операционных систем, усложняющие эксплуатацию уязвимостей.Конкретно в этом они правы.
Это вот Go безопасный? Что они там такое забористое курят?При попытке установить Fine Toolkit мне зависимостью прилетел пакет под названием mailru. Пакет mailru, Карл! Этим дерьмом в буквальном смысле годами старательно засирали компьютеры домохозяек, теперь переключились на программистов.
Кроме того, документация порой не то, чтобы написана через задницу, ее бывает вообще нет.
Из библиотек для Gui можно пользоваться только разве что Zenity.
Как этот Go вообще можно использовать, если на каждый случай, вот почти что чего не коснись, немножечко в каком-нибудь "углу" насрано.
АНБ рекомендует )) всегда было понятно почему так пиарят языки со сборщиком мусора, с так называемой безопасной работой с памятью ) Работа такая у них )