How can data-flow analysis enhance socio-technical analysis and vice versa?
Find out more in our recent paper to appear at @acm_tosem with Sebastian Böhm, @pd_schubert, @Norbsen & @SvenApel: https://t.co/XaTT1faxHz
"I switched to a better performing configuration, so energy consumption will also improve."
-- Don't make this mistake. Configurations matter!
Find out more in our recent @ICSEconf paper with Christian Kaltenecker, @vuldex72, @SvenApel & @Norbsen here: https://t.co/XQJ5ipkpqU
What goes on in the minds of programmers when they think about program code? Sven Apel, Computer Science professor at Saarland University, receives an Advanced Grant from the European Research Council (ERC) for his research on this question @ERC_Research : https://t.co/iRHy1WuWd7
@zygoloid You're right. I tested all the C/C++ examples from (https://t.co/ukBKSVZweT) and they are either detected by standard linter tools (clang-tidy), directly shown by vim, or found with vim-troll-stopper (https://t.co/k1BU8JD76v).
I never thought this plugin would make a comeback :D
@p0nk We have education license support on github, which provides all necessary things we need, but please double check the constraints (action minutes on pub/private repost) and if they fit your use case.
@p0nk When they announced their change to limit open source support (end of 2020), we tried to reach out but did not get any help. Afterwards, I moved all my CI jobs to github actions and never looked back since.
@ciura_victor@vzverovich Please add an argument to the attribute. [[unteachable("MySelf")]], so we can better specify the unteachability and who is affected 😉
Philipp Dominik Schubert (@pd_schubert), Florian Sattler (@vuldex72), Fabian Schiebel, Ben Hermann (@benhermann) and Eric Bodden (@profbodden) will be presenting their paper “Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++"
@Cor3ntin @cjdb_ns @vzverovich Me, too. The trick is to just not write buggy code. It's called bug free programming, you should try it 😉.
Read: The myth of the zer0-bug programmer. 🤡
@Cor3ntin Maybe try some meta bikeshedding?
Bikeshedding about when and how much bikeshedding is appropriate?
Now that I'm thinking about it: should the title bikeshedding discussion be put into a footnote and attached to the new/old title?