C-Reduce @creduce
I am C-Reduce, the shrinker of C/C++ programs. embed.cs.utah.edu/creduce/ Salt Lake City, UT, USA Joined June 2012-
Tweets296
-
Followers524
-
Following74
-
Likes393
@cfbolz @mraleph Didn't know you can use creduce on other langs.. I'll definitely give this a try next time I need it (probably in a few days..)
I'll try anything!
I tried creduce to reduce a segfaulting test case and it reduced it to this 👍 #creduce #screenshotsaturday
We've all been there.
I love working the night shift. 🌜 Thanks for the shout out!
I love working the night shift. 🌜 Thanks for the shout out!
@lemire You should use creduce to minimize that.
Thanks for the shout out!
@BruceDawson0xB @visualc You can make minimal repros using creduce fairly easily. Even with msvc, just do it under WSL and take advantage of the fact you can call native win32 programs. No advanced C++ skills necessary
creduce help text: --shaddap Suppress output about non-fatal internal errors [..] --sllooww Try harder to reduce, but perhaps take a long time to do so
Expectation: I have a bug, let me try to use C-Reduce to reduce it Reality: Run into a bug with C-Reduce itself Happy weekend I guess... Oh wait, it's just Thursday.
TFW the code creduce produces would probably not lead to a productive compiler bug report because it does weird things (like a null deref) that the original code doesn't do, but re-adding parts of the original code makes the bug you're trying to report not reproduce anymore...
@stephenrkell @SreepathiPai @creduce Thanks - for now I wrote a script that inlines specific #included files but does not actually preprocess, then I used @creduce to do a reduction on that code, and things are working nicely.
I'm having a @creduce problem: my source file has been preprocessed using clang-14, and now gcc-11 is complaining about it with errors like: error: two or more data types in declaration specifiers 214 | typedef float _Float32; Anyone know how to solve this?
Chomp chomp chomp!
Let's go!
Thanks for the shout-out!
Congrats to @johnregehr and his collaborators on winning another @PLDI MIP award on his great compiler testing work. Well done!
Brendan Dolan-Gavitt @moyix
25K Followers 6K Following Associate Professor @ NYU Tandon. Security, RE, ML. PGP https://t.co/3WXr0RfRkv Founder of the MESS Lab: https://t.co/zGycrX3Gmn "an orc smiling into the camera" — CLIP@[email protected] @shafikyaghmour
9K Followers 929 Following Compiler Engineer clang front end. Interests: C++, C, and undefined behavior. Martial Artist, Book Worm and Dad. @[email protected] he/himRobert C. Seacord (@r.. @RCS
4K Followers 2K Following SC22/WG14 (C Standards) Committee Convener. Standards Lead @Woven_Toyota. Author of Effective C and Secure Coding in C and C++. Slayer of trigraphs.Eric Eide @eeide
2K Followers 2K Following Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own • RTs not endorsements • @[email protected]Manuel Rigger @RiggerManuel
3K Followers 2K Following Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages. @[email protected]Alexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5Zhendong Su @zhendongsu
3K Followers 1K Following Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)Rachit Nigam @notypes
4K Followers 1K Following MIT visiting scholar & Cornell PhD Candidate | Computer Architecture + Programming Languages. Organizer @PLteaforplt. He / him.Wilfred Hughes @_wilfredh
3K Followers 3K Following Programming language development, human factors, and a healthy dose of Emacs. Also at https://t.co/faGheKE6VHChris McDonald @deepinthebuild
3K Followers 824 Following SWE | rust, python, formal methods, build systems, learning & doing better | he/him | cursed with non-24Brandoch @Brandoch1
0 Followers 64 FollowingLeon @Leon87292348
81 Followers 890 FollowingPhoughtha @phoughtha17389
15 Followers 2K Followingحمزة 🇵🇸 @Pen0xPen
103 Followers 613 FollowingLatarsha @hughes32latarsh
533 Followers 3K FollowingSam Sanoop @snoopysecurity
594 Followers 677 Following segfaulting through life 📉. I also like web security, software security and static analysis, https://t.co/kH82mIZonGThomas @Thomas317972710
45 Followers 226 FollowingHarry Jaspion 🇧�.. @sharkguto
28 Followers 1K Followingstd::cat @stdcat
16 Followers 364 Following #cplusplus #cpp #gamedev #indiegame #indiegamedev #retrogameMartin @mjo
130 Followers 1K FollowingKarine Even-Mendoza @KarineEvenMend1
120 Followers 457 Following Computer scientist and a lucturer@KCL/Informaticsppp @moth_gg
71 Followers 2K FollowingStefan @__stefan_r__
9 Followers 770 FollowingVictor Ciura @ciura_victor
3K Followers 677 Following Principal Engineer - M365 Substrate 🦀 Rust Oxidizer team at Microsoft, ex @visualc team, ex @caphyon, ex @advinst lead, @ClangPowerTools creator, he/himRao Bhupendra Singh @Bhupsarao
805 Followers 982 Following @policerajasthan 🇮🇳सत्यमेव जयते Tweets Are Personalmoot @zhuyachao
35 Followers 684 FollowingKarl Cloud @karl_cloud
12 Followers 281 Followingrathet @rath3t
64 Followers 348 Following PhD student in computation mechanics. Interested in maths and differential geometry.Diego Caballero @dieg0_caballer0
65 Followers 271 FollowingAmin Ya 🍥 @AminYa74
386 Followers 583 Following Robotics Control Engineer at @TheSanctuaryAI, MSc in Robotics/Aerospace Eng @ UofM 🇨🇦, Music composer 🎼🎵🎶, Electric Guitar Player 🎸El Rey Nikochan @El_Rey_Nikochan
0 Followers 185 Following Monarca espacial. Porque tener el culo cerca de la cabeza ayuda a tener mejores ideasPat Thomson 🇺🇦 .. @psthomso
237 Followers 1K Following Norristown native living in the warm southwest Riding the elephant @[email protected]{~_~} @SpikyLittle
9 Followers 783 Following Food for thought😋 #EverydaySunday activist {Not sleepy so posts all nonsense ideas from bed}🐿 @manukoch
72 Followers 370 FollowingAleques™ @_Aleques
157 Followers 411 Following Geek, C++ & Mobile developer. Father of 3. https://t.co/oy0UMAt9PIAlexis Paques @AlexisPaques
691 Followers 956 Following Another one paid to play with robots (with 🦀 on Arch at home). @[email protected] @alexistm.bsky.socialPablo Martin-Gomez @b0uska
822 Followers 2K Following Wannabe hacker, libriste et troll commonisto-libéral #ForTheLulz. I ❤ teh Internetz and 🦄. Bruxellois de ❤, francilien malgré lui. Ex futur ingénieur.Ahmed Moubtahij @ahmed_moubtahij
186 Followers 1K Following ing., NLP scientist @CRIM_ca ''Focus is a matter of deciding what things you're not going to do'' - John Carmack. Opinions my own.Walter Sobchak @WalterSobchak42
142 Followers 2K FollowingBalázs Benics @bbenics
38 Followers 264 FollowingGurunath Kadam @gurunath_kadam
135 Followers 1K FollowingJohnny @Luckyrocky2028
206 Followers 4K Following Stay Hungry, Stay Foolish. 只有自律的人才能得到真正的自由。|No Politics.Ekanshdeep Gupta @EkanshdeepGupta
85 Followers 353 Following@[email protected] on.. @calebjasik
425 Followers 3K Following 🏳️🌈 welcome to the slam jam he/him #BlackLivesMatter fedi: @[email protected] cohost: @calebjasik bsky: @calebjasik.jasik.xyzStefan Nagy @snagycs
1K Followers 1K Following Asst Prof @UtahSoC | security, fuzzing, binary analysis Mastodon: @[email protected]sam @pacman66021284
78 Followers 4K FollowingBrendan Dolan-Gavitt @moyix
25K Followers 6K Following Associate Professor @ NYU Tandon. Security, RE, ML. PGP https://t.co/3WXr0RfRkv Founder of the MESS Lab: https://t.co/zGycrX3Gmn "an orc smiling into the camera" — CLIP@[email protected] @shafikyaghmour
9K Followers 929 Following Compiler Engineer clang front end. Interests: C++, C, and undefined behavior. Martial Artist, Book Worm and Dad. @[email protected] he/himEric Niebler 🇺🇦.. @ericniebler
12K Followers 146 Following C++ core compute libraries tech lead at @nvidia, husband, father, @isocpp member, former nomad, and sometimes artist wannabe. @[email protected] he/himJF Bastien 🔗 @jfba.. @jfbastien
12K Followers 627 Following Distinguished engineer @ Woven by Toyota — C++ standards committee language evolution chair — WebAssembly co-instigator— https://t.co/kR60YklfRH —he/himAndrew Myers @AndrewCMyers
4K Followers 283 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.Jonathan Müller @foonathan
12K Followers 74 Following C++, compilers, and programming languages. Library developer @thinkcell, assistant chair for std::ranges at @isocpp. @[email protected]Eric Eide @eeide
2K Followers 2K Following Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own • RTs not endorsements • @[email protected]Manuel Rigger @RiggerManuel
3K Followers 2K Following Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages. @[email protected]Chris Lattner @clattner_llvm
79K Followers 183 Following Building beautiful things like Mojo🔥 and MAX @Modular, lifting the world of production AI/ML software into a new phase of innovation. We’re hiring! 🚀🧠Alexa VanHattum @avanhatt
2K Followers 1K Following Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://t.co/9UVghNn4e5Zhendong Su @zhendongsu
3K Followers 1K Following Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)Rachit Nigam @notypes
4K Followers 1K Following MIT visiting scholar & Cornell PhD Candidate | Computer Architecture + Programming Languages. Organizer @PLteaforplt. He / him.Chris McDonald @deepinthebuild
3K Followers 824 Following SWE | rust, python, formal methods, build systems, learning & doing better | he/him | cursed with non-24Eddie Kohler @xexd
2K Followers 412 Following Ass, Professor. Gay. “Wow, A+++ would rely on the services of Eddie "Monkey Bounty Hunter" Kohler again” —@moyix. They (or he)Karine Even-Mendoza @KarineEvenMend1
120 Followers 457 Following Computer scientist and a lucturer@KCL/InformaticsSQLancer @sqlancer_dbms
333 Followers 5 Following SQLancer allows finding logic bugs in DBMS and is available at https://t.co/iFDO1vUk58.Nicolas DUBIEN @ndubien
721 Followers 1K Following Author of https://t.co/wlvQC0vBDv ∙ Principal Software Engineer @GoPigment ∙ Opinions are my own #Testing #JavaScript #TypeScript #React ∙ @[email protected]Stefan Nagy @snagycs
1K Followers 1K Following Asst Prof @UtahSoC | security, fuzzing, binary analysis Mastodon: @[email protected]@[email protected] on.. @calebjasik
425 Followers 3K Following 🏳️🌈 welcome to the slam jam he/him #BlackLivesMatter fedi: @[email protected] cohost: @calebjasik bsky: @calebjasik.jasik.xyzjon @jon_roelofs
313 Followers 449 Following tweets are provided as-if, and may or may not change observable behavior of my employer.Jessica Paquette @barrelshifter
7K Followers 444 Following compiler schmuck @[email protected] https://t.co/K5xQntw1M9 https://t.co/VsOOBAsYPsWilliam Merfalen @wmerfalen
86 Followers 402 Following C++, DevOps, Bash, Node.js, ReactJS, Typescript, x86 asm I'm just here for codeSaagar Jha @_saagarjha
4K Followers 173 Followingfasterthanlime @fasterthanlime
33K Followers 369 Following hi, I'm amos! 🌱 he/him 🦀 I make articles & videos about how computers work 🐻❄ cool bear's less cool counterpart ✨ be kind🇺🇦 Ingvar Stepa.. @RReverser
8K Followers 1K Following OSS devtools, ex-Google Chrome, ex-Cloudflare, these days actively working in the WebAssembly land. Not really here anymore, find me on Bluesky.William J. Bowman @wi.. @wilbowma
3K Followers 250 Following Paren-wielding facebook-theorist, PhD. Sith Lord of Compilers. Asst. Prof. at UBC. This account is deprecated.Jed Davis 🏳️�.. @xlerb
920 Followers 1K Following “Perhaps you're just different. Not a sin, you know — though you may have heard otherwise.” https://t.co/DnxUM7SmY1Fabio Pagani @pagabuc
788 Followers 538 Following Research Scientist @binarly_io. Prev: Postdoc @ucsantabarbara. Binary analysis, memory forensics et al. Captures flags with Shellphish and NOPS.Dan Zheng @dancherp
1K Followers 589 Following 美籍华人。Learning for Code at Google DeepMind, formerly Swift for TensorFlow. Purdue CS ‘18.Andrew Gresyk @andrew_gresyk
90 Followers 202 Following Programmer, author and maintainer of https://t.co/JWAKK9LImm library.Troels Henriksen atha.. @sigkill_dk
585 Followers 180 Following Hacker in academia. I think deterministic parallel programming is just great! I work on https://t.co/EDD6IfUdTwDominik Winterer @DominikWinterer
914 Followers 596 Following Ph.D. student with @ast_eth at @ETH, alumnus @UniFreiburg. Testing formal methods software. Former intern @AmazonScience and @IBMResearch.Joe Gibbs Politz @JoePolitz
1K Followers 1K Following When not programming or teaching CS @ucsd_cse, I go to the dog beach. Spending more time as 🟦 https://t.co/k4HOSHhpwb these days. https://t.co/4skMx005C5 | https://t.co/v4f2VUk4D2Chengyu Zhang @chengyuzh
364 Followers 295 Following Postdoctoral Researcher at @ETH_en. I am working in the @ast_eth lab, focusing on software engineering, programming languages, and formal methods.Alon Zakai @kripken
6K Followers 944 Following Created Emscripten&Binaryen, co-created WebAssembly. Google. Opinions my own, not my company's. Bluesky&Mastodon links in: https://t.co/mRoX5Kjh3I he/theyyinyang-project @testsmtsolvers
420 Followers 434 Following Regular tweets on interesting bugs in the SMT solvers Z3 and CVC4 (@CVC4Solver) Tool: https://t.co/c7THNpPhKlMartin Liška @marxin_liska
112 Followers 183 Following@mattgodbolt@hachyder.. @mattgodbolt
15K Followers 2K Following Husband, father, coder, sometime verb, real person. Fond of old hardware. Co-host @twoscp. #BlackLivesMatter. DMs open. @mattgodbolt.bsky.social too He/himcassie @porglezomp
2K Followers 1K Following Cassie. Likes programming languages, compilers, types, formal logic, girls (and, everything). They/them or she/her. 25. https://t.co/nqey4hZyAJRohan Padhye @moarbugs
2K Followers 549 Following Assistant Professor at @isrcmu @SCSatCMU. PhD from @Berkeley_EECS. Connessiur of hot sauce.(((Dan Kegel))) @dkegel
840 Followers 338 Following Software engineer with a dusty biology & engineering degree. Science and climate advocate. https://t.co/EQX0jLTphgpracticalswift (Thoma.. @practicalswift
6K Followers 244 Following This account is on break until at least 2021-12-31. E-mail: thomas.j.bitcoin at protonmail dot tld@moyix I'm sortof angling (with John's blessing) for Shrink Ray to be the successor to CReduce. It's a bit rough around the edges still, but in most regards is probably already nicer to use. It can do everything CReduce can (by calling clang-delta), though not necessarily as well.
@mraleph @_osa1 I'm just using creduce, works quite well even for not C (eg python is fine). Been meaning to try shrinkray too: github.com/DRMacIver/shri…
(in actual fact there probably are cases where it's better to use shrink ray over creduce for C and C++ test cases, but those cases are like... your test cases are huge, your interestingness test is slow, and you've got a lot of cores to throw at the problem)
@bertmuthalaly The same is actually true of creduce too, but creduce will work better the more like C or C++ your test case looks. Shrink Ray has a bit of a broader remit, although hasn't really been tested on anything that isn't Python or C-ish syntax.
Does such a thing as CReduce for a Python script exist? (Or can CReduce be abused into working on Python code?)
@DRMacIver i didn't realize that about c-reduce! shrink ray seems very cool, will file away for the future :)
Still rough around the edges, so if you use it you may well run into bugs (please report them if so!), but if you've got large messy bugs that you want to turn into small easy to read bugs, and your test cases aren't C or C++ (if they are, use c-reduce still), give it a go.
I tried creduce to reduce a segfaulting test case and it reduced it to this 👍 #creduce #screenshotsaturday
@moyix There’s c-reduce and etc which do this in order to transform a crashing example into an equivalent crashing example
@steubens7 A fuzzer wouldn't help because the failure is happening at the compilation stage. The shader never even gets run, afaiu, so bad inputs aren't causing the failure. c-reduce sounds more like something that could be useful if there's one that easily works with glsl 😅
@garrettkjohnson can you use something like c-reduce or a fuzzer to take some of the load off?
Can we have mlreduce to test and debug ml models similar to c-reduce?
@atomgalaxy I reduce a lot of compiler bugs, so I have a system that involves a directory full of stub stdlib/system headers, creduce, and some ready-made scripts. I also have a 64-core machine. creduce takes it down to ~10k overnight, and I take it from there.
@lemire You should use creduce to minimize that.