philwise · HackerTrans

Are there vendors who provide support for tool qualification for frama-c? By that I mean documentation support that can be provided as part of the certification process, so when you say "Frama-c verified this code does not contain any arithmetic overflow", it is possible to back that up with "And Frama-c version x.y.z has sound analysis, evidenced by ...."

philwise

7 anni fadiscuss

Talk to your line manager. It is quite possible that there are some skills around building long-term maintainable codebases that you haven't learnt yet. Different companies have vastly different ideas about what 'good enough' looks like, and so this may be the first time you've had to think about these particular issues.

A big, decent organization will have the structures in place to help you learn this. I'd suggest bringing it up at your next 1:1: 'I'm a bit worried about how I did in these PRs <open browser>'. Your manager may also have the same worries, in which case you skipped that conversation along to the point of working on a solution, or you might find out that what you are doing is on-par and there is nothing to worry about. Training in new skills is bread-and-butter stuff for a mature organization, so I would look for support in your normal management chain.

philwise

7 anni fadiscuss

My wife taught the kids at primary school how to use PowerPoint. After they were given a camera to take some pictures around the school, some of them randomly figured out they could make stop motion animations. I was blown away.

Six year old kids can do amazing things, as long as their environment doesn't railroad them down boring paths.

comments