designsecurity
diff --git a/‎builds/progpilot_dev20180512-212746.phar renamed to ‎builds/progpilot_dev20180513-195151.phar
3.85 MB b/‎builds/progpilot_dev20180512-212746.phar renamed to ‎builds/progpilot_dev20180513-195151.phar
3.85 MB
diff --git a/‎doc/CUSTOM_ANALYSIS.md
Lines changed: 1 addition & 1 deletion b/‎doc/CUSTOM_ANALYSIS.md
Lines changed: 1 addition & 1 deletion
@@ -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.