fbe3a197ba
* Install instructions updates * Update README.md * also need pip * need to update, plus compact a few things * add -y * grammar? * typos * Add bountysource link * consistency * Point users to the examples dir and wiki I thought these links were cluttering things a bit, and 2 out of 3 of them aren’t official documentation yet we’re linking to them in the first line of the README. I updated the wiki to address these directly in a way I think is more clear. * link to Z3 releases * oops, don't know where that came from * ensure people run the latest pip * be more explicit * Add an Issue Template * be more explicit * no longer appropriate here * unnecessary * add note about 16.04 * move issue template to hidden folder * Spelling * be explicit, makes copy/paste easier
36 lines
696 B
C
36 lines
696 B
C
/* Minimal toy example with input/output using libc
|
|
* Symbolic values are read from stdin using standard libc calls.
|
|
*
|
|
* Compile with :
|
|
* $ gcc toy002-libc.c -o toy002-libc
|
|
*
|
|
* Analize it with:
|
|
* $ python system.py --sym stdin examples/toy002-libc
|
|
*/
|
|
|
|
#include <stdio.h>
|
|
#include <stdlib.h>
|
|
|
|
int main(int argc, char* argv[], char* envp[]){
|
|
unsigned int cmd;
|
|
|
|
if (read(0, &cmd, sizeof(cmd)) != sizeof(cmd))
|
|
{
|
|
printf("Error reading stdin!");
|
|
exit(-1);
|
|
}
|
|
|
|
if (cmd > 0x41)
|
|
{
|
|
printf("Message: It is greater than 0x41\n");
|
|
}
|
|
else
|
|
{
|
|
printf("Message: It is less than or equal to 0x41\n");
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
|