Strike-through Text In Gmail

  1. Select text which you want to strike out.
  2. Right click on the selected text and choose inspect element.
  3. The inspector will highlight that text.
  4. Right click on that and choose edit as HTML.
  5. Wrap the text inside <strike> tag.
Advertisements

Faults in Linux Kernel 3.x : Inconsistent assumptions about NULL

As part of my work, I need to annotate the reports generated using Coccinelle Scripts as bugs/FPs for recent Linux Kernels, recent as in versions > 3.0 till the current one 3.18.

This blog post is about the bugs and FPs I found for the case which checks for inconsistent assumptions about NULL. This has two parts, one is where NULL test is done preceding a dereference and the second is where a NULL test is done following a dereference. You can view the annotated report for the first case and for the second case.

Continue reading

Faults in Linux Kernel 3.x : Disable interrupts and not re-enable them

As part of my work, I need to annotate the reports generated using Coccinelle Scripts as bugs/FPs for recent Linux Kernels, recent as in versions > 3.0 till the current one 3.18.

This blog post is about the bugs and FPs I found for the report which checks here interrupts are turned off but not turned on again, using the functions local_irq_save or save_and_cli, where interrupts are turned off but not turned on again, using the functions cli, where a lock that is taken but not released. Interrupts are disabled at the same time and where a lock that is taken more than once. Interrupts are disabled at the same time. You can view the annotated report here and here.

Continue reading