SMACK'D

Overview

SMACK'D is an Eclipse plugin for visually debugging software analyzed by SMACK.

SMACK'D Prerequisites

SMACK'D requires the following components

• SMACK
• Eclipse
  • CDT Plugin

Getting SMACK

SMACK installation instructions can be found at the SMACK github repo

Getting SMACK'D

Once SMACK is installed, you need to get the SMACK'D Eclipse plugin.

• From Eclipse, navigate to Help\Install new software...
• Add the following software update site
  • http://smackers.github.io/smackd
• Install the SMACK'D plugin (currently called Smack Analyzer - will be updated)

Configuring SMACK'D

From the Eclipse preferences window, select the SMACK'D Preferences tab. Configure the paths specific to your machine

NOTE: Includes are currently an issue (which applies to ALL software analyzed by smack, as smack.h must be included). The Eclipse CDT compiler is not currently aware of SMACK - an external instance of LLVM is used by SMACK. As such, unless include paths for the CDT compiler and LLVM converge, only one will work at a time. This is perhaps the next major hurdle for the project - figure out include paths, set some persistent environment variables during the SMACK install script, etc.

SMACK'D Example

• Create a new empty C project.
• Create a new .c file
• Clear any Eclipse generated comments/includes
• Copy and paste the code below into the new .c file
• Navigate to SMACK Menu\Run SMACK
  • You may need to adjust the relative path on the smack.h include

// simple.c
#include "smack/smack.h"

int incr(int x) {
  return x + 1;
}

int main(void) {
  int a;

  a = 1;
  a = incr(a);
  __SMACK_assert(a == 3);
  return 0;
}

Authors and Contributors

UPDATE ME

You can @mention a GitHub username to generate a link to their profile. The resulting <a> element will link to the contributor's GitHub Profile. For example: In 2007, Chris Wanstrath (@defunkt), PJ Hyett (@pjhyett), and Tom Preston-Werner (@mojombo) founded GitHub.

Support or Contact

UPDATE ME

Having trouble with Pages? Check out the documentation at http://help.github.com/pages or contact support@github.com and we’ll help you sort it out.