Embedded systems, especially Wireless Sensor Nodes
are highly prone to Type Safety and Memory Safety issues.
Contiki, a prominent Operating System in the domain is even
more affected by the problem since it makes extensive use of
Type casts and Pointers. The work is an attempt to nullify the
possibility of Safety violations in Contiki. We use a powerful,
still efficient tool called Deputy to achieve this. We also try to
automate the process
Description:
2009 International Conference on Advances in Recent Technologies in Communication and Computing