frama-c.com
Frama-C
http://www.frama-c.com/support.html
Simple things should be simple,. Complex things should be possible. Several public support options are available. Note that help from these channels is mostly provided by the Frama-C community researchers, engineers, teachers, and more during their spare time. Website, where questions should be labeled with the frama-c tag. There also exists a general discussion list. The bug tracking system. To submit a new bug, you must open an account on the bts. Commercial support and licenses. A list of publications...
c-skills.blogspot.com
C-skills: July 2014
http://c-skills.blogspot.com/2014_07_01_archive.html
Monday, July 7, 2014. Lets have a look on how our traffic is XKey-scored and whether. Its done with efficiency. Seems to be some kind of mangled-C , just like. A lot of C/C -based languages exist for big/parallel. CUDA or other parallelizing extensions). Given that, DB. Is obviously some kind of nested std: map. Apparently of a derived. Type, as can be seen by the apply(). Member which is not part of a STL map. Its probably not a multimap. Either, as denoted. Assignments are not possible. It gets to DB["...
c-skills.blogspot.com
C-skills: lophttpd fucks the POODLE
http://c-skills.blogspot.com/2014/10/lophttpd-fucks-poodle.html
Thursday, October 30, 2014. Lophttpd fucks the POODLE. Not just because they are ugly but also because lophttpd. Never was affected by POODLE, since SSLv3. Disabled for a reason in favor of TLSv1. I think about dropping. Too and just allowing TLSv1.1. To my knowledge lophttpd. Is also the first webserver. I also added SO REUSEPORT. Support today, since Google. That when handling c10k, their processes. Are un-evenly distributed across the cores (what the hell. Are they doing there? Only happen when the.
c-skills.blogspot.com
C-skills: troubleshooter trickery
http://c-skills.blogspot.com/2015/03/troubleshooter-trickery.html
Wednesday, March 25, 2015. Demo of SELinux disable on a Fedora 21 default desktop. A full writeup can be found here. Subscribe to: Post Comments (Atom). Jeffrey carr on cyberwar. My dear Mr. Esser. A Sun Engineer's blog. Xorl %eax, %eax. Miguel de Icaza's blog. Disclaimer: This is my personal and private weblog. The views expressed on this website/weblog are mine alone and do not necessarily reflect the views of my employer. View my complete profile.
c-skills.blogspot.com
C-skills: C++11 bailout trickery
http://c-skills.blogspot.com/2015/04/c11-bailout-trickery.html
Thursday, April 23, 2015. C 11 bailout trickery. Is someone C 11 guru enough to make a statement whether. The following C 11 code is correct? Whats happening on line 24, as the lambda should not. Harvest the memory structures (scope? To me, everything looks OK. If thats the case, it would ease. Cleanup routines on error returns from functions. Please leave a comment. For the arrays s you could instead use:. Unique ptr s[1000];. Std: fstream file{/etc/passwd, ios base: in};. April 23, 2015 at 8:30 AM.
c-skills.blogspot.com
C-skills: December 2014
http://c-skills.blogspot.com/2014_12_01_archive.html
Friday, December 19, 2014. QI for the win. Now that we officially know that 3G can be broken and that. It makes sense to place particular (passive) hardware on the. Roof top of embassies (the cellar is already stuffed with. Torture equipment and you have better gain at the roof),. Here was correct. In particular the. Last paragraph should be repeated, as you can start sending. Before the victim packet is even close to the. Target if you just captured the SYN packet on air. Thursday, December 11, 2014.
c-skills.blogspot.com
C-skills: May 2015
http://c-skills.blogspot.com/2015_05_01_archive.html
Thursday, May 21, 2015. Now, that the TURMOIL slides make sense. I adjusted my own. Projects. The good news is that I always used to generate. Unique DH params (I wonder so many ppl apparently didnt -. There is no real benefit to use hard coded values, except to Eve! In my projects during or before build. So it should be. Quite hard for a N. Dversary to break that. I removed 512 and 1024 bit DH params. Support and use 2048bit instead. opmsg. 2048bit (and higher), but the default was 1024. So I changed.
c-skills.blogspot.com
C-skills: January 2015
http://c-skills.blogspot.com/2015_01_01_archive.html
Thursday, January 8, 2015. In the last post I promised to stop threat analyzing. So here. Is some dev again which I already started developing back. In 2014 and where I finally found some time to finish. Its a small U2F stack. With the APDU framing code based. On Googles U2F reference code. After reviewing a lot of other. I found this reference code comprehensive enough to. Be usable for myself and for PAM code. It also builds on Darwin, but I didnt have time to test it. Subscribe to: Posts (Atom).