Revision as of 13:51, 10 May 2021 edit Hooman Mallahzadeh (talk \| contribs) Extended confirmed users 4,648 edits m →Limitations: Hyperlink. Tag: Visual edit ← Previous edit		Revision as of 06:33, 11 May 2021 edit undo Hooman Mallahzadeh (talk \| contribs) Extended confirmed users 4,648 edits m →Environment interactions: Hyperlink. Tag: Visual edit Next edit →
Line 40: === Environment interactions === Programs interact with their environment by performing [[System call\|system calls]], receiving signals, etc. Consistency problems may arise when execution reaches components that are not under control of the symbolic execution tool (e.g., kernel or libraries). Consider the following example:<syntaxhighlight lang="c" line="1"> int main() {

Symbolic execution: Difference between revisions