Skip to content

Instantly share code, notes, and snippets.

@VictorHom

VictorHom/symbolic_execution_sum_function_example.js

Last active May 13, 2018 14:44
Show Gist options
  • Save VictorHom/288ce262e2db60849ccaee1fde931efa to your computer and use it in GitHub Desktop.
Save VictorHom/288ce262e2db60849ccaee1fde931efa to your computer and use it in GitHub Desktop.
Download ZIP
Raw
symbolic_execution_sum_function_example.js
# contrived sum function
function sum(a, b, c) {
let x = a + b;
let y = b + c;
let z = x + y - b;
return z;
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment