Size: a a a

Compiler Development

2021 January 18

s

suhr in Compiler Development
В противном случае тебя даже заканселить нельзя.
источник

IK

Ivan Kochurkin in Compiler Development
Давно выкладываю на гитхаб вещи разного качества, в том числе и говнокод с универских времен, просто чтобы сохранить на память. Ничего страшного со мной не произошло, вряд ли вообще кто-то его заметил 😊
источник

M

MaxGraey in Compiler Development
Ivan Kochurkin
Давно выкладываю на гитхаб вещи разного качества, в том числе и говнокод с универских времен, просто чтобы сохранить на память. Ничего страшного со мной не произошло, вряд ли вообще кто-то его заметил 😊
Это кстати верно. Выкладывайте и не парьтесь. Такое впечатление что все думают что они сразу хайпанут и в первый же год 100k звезд наберут) Да вас даже не заметят, даже если вы будете активно пиариться вряд ли заметят, да даже если вас сам гугл начнет пиарить вряд ли так быстро наберете популярность) Вот наш проект пиарил сам dev-адвокат гугла на Google I/O, сейчас выходят статьи на офф сайте Fastly и Shopify и что? За 3 года еле-еле доползли до 10k =) Не то, что бы это было важно, просто как простейшая метрика в пример
источник

M

MaxGraey in Compiler Development
Так что выкладывайте. По-крайней мере будет шанс, что какой то энтузиаст заинтересуется и начнет помогать
источник

JT

James Tevision in Compiler Development
@alexanius а ascii графы
Вручную нарисованы или есть какие-то тулзы для этого?
источник

A

Alex in Compiler Development
James Tevision
@alexanius а ascii графы
Вручную нарисованы или есть какие-то тулзы для этого?
Вручную )
источник

JT

James Tevision in Compiler Development
Alex
Вручную )
Оу
А почему тот же graphviz не использовали

Или хотите оставить на сайте только текст?
источник

A

Alex in Compiler Development
Ну, там много способов было это сделать (думал и про graphviz, и про latex, и про inkscape), но в итоге решил что проще и быстрее руками так сделать. Там графы несложные, так что терпимо. Будем считать это "стилем" :)
источник

BD

Berkus Decker in Compiler Development
suhr
КИБЕРБУЛИНГ.
КИБЕРБАБУЛИНГ конечно же
источник

BD

Berkus Decker in Compiler Development
Alex
Ну, там много способов было это сделать (думал и про graphviz, и про latex, и про inkscape), но в итоге решил что проще и быстрее руками так сделать. Там графы несложные, так что терпимо. Будем считать это "стилем" :)
источник

A

Alex in Compiler Development
This Domain Has Expired, To Renew Please Contact Your Provider
источник

BD

Berkus Decker in Compiler Development
Alex
This Domain Has Expired, To Renew Please Contact Your Provider
Вот это мега печально
источник

BD

Berkus Decker in Compiler Development
Alex
This Domain Has Expired, To Renew Please Contact Your Provider
http://asciiflow.com/ вероятно это он  теперь
источник

BD

Berkus Decker in Compiler Development
источник

BD

Berkus Decker in Compiler Development
было?
источник

BD

Berkus Decker in Compiler Development
Спасибо @olegkovalov за ссылку

Трое исследователей в компиляторостроенни взяли и запрограммировали логический фаззер в компиляторах C/C++, тем самым нашли 220 багов в GCC/LLVM/Intel Compiler. Самое удивительное в этом результате, что логический фаззер был только на арифметические целочисленные операции и ни на что больше.

Логический фаззинг всё больше приобретает обороты, показывая насколько наши самые низкоуровневые системы вроде ядра, баз данных и компиляторов сложны, а соответственно содержат сотни и скорее всего тысячи багов, о которых мы даже подумать не можем, но которые в любой момент могут покрашить систему.

https://blog.sigplan.org/2021/01/14/finding-bugs-in-c-and-c-compilers-using-yarpgen/

Ещё от Олега была такая же ссылка про компиляторы Go, https://github.com/dvyukov/gosmith, забавно, что ни в какую статью это не вылилось, хотя, наверное, стоило бы
источник

I

Ioann_V in Compiler Development
Berkus Decker
было?
Так то ж Кутенин Данила
источник

KR

K R in Compiler Development
Berkus Decker
Спасибо @olegkovalov за ссылку

Трое исследователей в компиляторостроенни взяли и запрограммировали логический фаззер в компиляторах C/C++, тем самым нашли 220 багов в GCC/LLVM/Intel Compiler. Самое удивительное в этом результате, что логический фаззер был только на арифметические целочисленные операции и ни на что больше.

Логический фаззинг всё больше приобретает обороты, показывая насколько наши самые низкоуровневые системы вроде ядра, баз данных и компиляторов сложны, а соответственно содержат сотни и скорее всего тысячи багов, о которых мы даже подумать не можем, но которые в любой момент могут покрашить систему.

https://blog.sigplan.org/2021/01/14/finding-bugs-in-c-and-c-compilers-using-yarpgen/

Ещё от Олега была такая же ссылка про компиляторы Go, https://github.com/dvyukov/gosmith, забавно, что ни в какую статью это не вылилось, хотя, наверное, стоило бы
Вот буквально несколько дней назад пробегала эта ссылка. Там нужно несколько компиляторов одновременно. Поэтому для Rust'а это неприменимо, как и для множества других языков.
источник

M

MaxGraey in Compiler Development
Berkus Decker
Спасибо @olegkovalov за ссылку

Трое исследователей в компиляторостроенни взяли и запрограммировали логический фаззер в компиляторах C/C++, тем самым нашли 220 багов в GCC/LLVM/Intel Compiler. Самое удивительное в этом результате, что логический фаззер был только на арифметические целочисленные операции и ни на что больше.

Логический фаззинг всё больше приобретает обороты, показывая насколько наши самые низкоуровневые системы вроде ядра, баз данных и компиляторов сложны, а соответственно содержат сотни и скорее всего тысячи багов, о которых мы даже подумать не можем, но которые в любой момент могут покрашить систему.

https://blog.sigplan.org/2021/01/14/finding-bugs-in-c-and-c-compilers-using-yarpgen/

Ещё от Олега была такая же ссылка про компиляторы Go, https://github.com/dvyukov/gosmith, забавно, что ни в какую статью это не вылилось, хотя, наверное, стоило бы
Фззеры хороши, но стоит также учитывать, что они способны находить ошибки которые никогда не возникают в реальном коде и не находить (или очень редко находить) действитеьлно важных ошибок (все зависит собственно от покрытия всех комбинаций и стат параметров). Но пока ничего лучше не придумали
источник

FO

FORTRAN ONE LOVE in Compiler Development
K R
Вот буквально несколько дней назад пробегала эта ссылка. Там нужно несколько компиляторов одновременно. Поэтому для Rust'а это неприменимо, как и для множества других языков.
а что, Rust for GCC не считается?
источник