Viewing profile — dhekir

A few corrections and counterpoints: - Frama-C is developed by CEA (French nuclear research agency; Inria participated in the beginning of the project, and is still a partner, but …

OP could be referring to Raynaud syndrome ( https://en.wikipedia.org/wiki/Raynaud_syndrome ). It's not sure tea helps in such cases.

After moving to a newly-finished building, I realized most companies didn't have up-to-date databases and some forms prevented me from correcting the "mis-corrected" addresses. Mis…

Every single laptop my company bought me in the last 10 years (3+) had kernel/driver issues, especially with Ubuntu, since the kernel version was usually lower than that from other…

This echoes some vibes of Neal Stephenson's Zodiac. Replace Boston with The Bay, PCBs with VOCs, and fast-forward some 30 years, and there you have it. If only we could learn from …

Fixing the Ctrl+Q issue is great, but I still think extensions such as Form History Control are essential for all other situations. I'd very much appreciate if Mozilla could vet it…

Frama-C is a framework for code analysis. It can help proving code with the aid of ACSL (JML-like notation for C contracts). But I agree that C is not the best language for writing…

Can you get a long term visa without any job affiliations? I'm not sure that simply having the money is sufficient reason for an European country to give you a long-term visa (> 1 …

Genius! Good to know it exists, if I need it one day. For now, I tried patching the timestamp in the binary as suggested by jtvjan, since I saw it before your post. It works, so I'…

Thanks a lot! The page you linked did work; I had to copy the Flash folder elsewhere, used a hex editor to find the timestamp in my Flash.ocx file, then I renamed the original fold…

Indeed, the laptop has been disconnected for days. I (or, more precisely, Windows) inadvertently updated to a more recent Flash version containing the "time bomb", so now the appli…

I have an old Windows offline desktop application (from circa 2003) that has an embedded Flash component which is necessary for it to run properly. It simply stopped working this m…

OCaml is good for handling abstract syntax trees (strong typing, pattern matching) and its mix of imperative and functional programming don't require using borrow-checker nor monad…

Would you mind telling some of the kinds of checks the Clang tools do not perform? I wonder if they are mostly syntactic or if they need dataflow analyses. (That said, Polyspace ha…

Too bad it's not open source, but will some of the generated programs be? Also, would you mind comparing it to Csmith ( https://embed.cs.utah.edu/csmith/ )?

I also found this "amalgamate" script on GitHub, intended to allow creating such amalgamations from C/C++ projects: https://github.com/rindeal/Amalgamate Which seems interesting, h…

I had never heard of LSIF. Its webpage says it intends to "define a standard format for language servers or other programming tools to dump their knowledge about a workspace". SARI…

It would be useful to list which tools support the SARIF standardized format ( https://sarifweb.azurewebsites.net/ ).

> I'm at work and not allowed to read active patents. Is that related to legal issues (as in, if you don't read patents, there's less chance that you'll end up being prosecuted if …

ACSL ( https://en.wikipedia.org/wiki/ANSI/ISO_C_Specification_Langu... ) for C, which is based on JML ( https://en.wikipedia.org/wiki/Java_Modeling_Language ) for Java, both use 'r…

I'm teaching some high-school teens (~15 years old) about privacy, but they seem to completely disregard the issue, giving away their data without worry. I'd like to shake them up …

It always happens for me when accessing a Linux machine remotely. I can't find a screenshot now, so the next time I do it, I'll take one. It seems to be a security measure, to prev…

But for remote control, it stops after every few minutes, asking the "controlled" user to click on a button to continue. Not so practical in a few situations.

It stopped working earlier this year, due to OAuth API changes by Google, if I'm not mistaken. Or did you manage to get it working?

Any backup recommendations? Gmvault stopped working earlier this year, and for multi-gigabyte accounts via a connection that is prone to get interrupted every once in a while, I co…