build

designsecurity · May 13, 2018 · c972760 · c972760
1 parent e19bc0c
commit c972760
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/builds/progpilot_dev20180512-212746.phar → builds/progpilot_dev20180513-195151.phar b/builds/progpilot_dev20180512-212746.phar → builds/progpilot_dev20180513-195151.phar
diff --git a/doc/CUSTOM_ANALYSIS.md b/doc/CUSTOM_ANALYSIS.md
@@ -2,7 +2,7 @@
 
 In addition to [**specify an analysis**](./SPECIFY_ANALYSIS.md) you can customize in depth an analysis.
 
-## Model checking
+## Call graph checking
 
 You could check that your program meets a given specification. For example this rule will traverse the call graph (only from the main function) of a program to verify if a user is authenticated and has rights before retrieving a secret.