sync with frama-c master

2048/.frama-c/2048.parse/metrics.log

@@ -8,8 +8,12 @@
  signal_callback_handler (address taken) (0 call); slideArray (2 calls);
  test (0 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

basic-cwe-examples/.frama-c/cwe119-precise.parse/metrics.log

@@ -3,8 +3,12 @@
  host_lookup (2 calls); main (0 call); my_gethostbyaddr (1 call);
  my_inet_addr (1 call); my_strcmp (1 call); validate_addr_form (1 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

basic-cwe-examples/.frama-c/cwe119.parse/metrics.log

@@ -3,8 +3,12 @@
  host_lookup (2 calls); main (0 call); my_gethostbyaddr (1 call);
  my_inet_addr (1 call); my_strcmp (1 call); validate_addr_form (1 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

basic-cwe-examples/.frama-c/cwe190-precise.parse/metrics.log

@@ -3,8 +3,12 @@
  main (0 call); packet_get_int_ok (1 call); packet_get_int_problem (1 call);
  packet_get_string (2 calls); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

basic-cwe-examples/.frama-c/cwe190.parse/metrics.log

@@ -3,8 +3,12 @@
  main (0 call); packet_get_int_ok (1 call); packet_get_int_problem (1 call);
  packet_get_string (2 calls); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

basic-cwe-examples/.frama-c/cwe20-precise.parse/metrics.log

@@ -2,8 +2,12 @@
 =====================
  main (0 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

basic-cwe-examples/.frama-c/cwe20.parse/metrics.log

@@ -2,8 +2,12 @@
 =====================
  main (0 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

basic-cwe-examples/.frama-c/cwe416-precise.parse/metrics.log

@@ -2,8 +2,12 @@
 =====================
  main (0 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

basic-cwe-examples/.frama-c/cwe416.parse/metrics.log

@@ -2,8 +2,12 @@
 =====================
  main (0 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

basic-cwe-examples/.frama-c/cwe787-precise.parse/metrics.log

@@ -2,8 +2,12 @@
 =====================
  copy_input (2 calls); main (0 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

basic-cwe-examples/.frama-c/cwe787.parse/metrics.log

@@ -2,8 +2,12 @@
 =====================
  copy_input (2 calls); main (0 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

cerberus/.frama-c/besson_blazy_wilke_6_2.parse/metrics.log

@@ -2,8 +2,12 @@
 =====================
  main (0 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

cerberus/.frama-c/besson_blazy_wilke_bitfields_1.parse/metrics.log

@@ -2,8 +2,12 @@
 =====================
  main (0 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

cerberus/.frama-c/besson_blazy_wilke_bitfields_1u.parse/metrics.log

@@ -2,8 +2,12 @@
 =====================
  main (0 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

cerberus/.frama-c/besson_blazy_wilkie_Fig_1.parse/metrics.log

@@ -2,8 +2,12 @@
 =====================
  isset (1 call); main (0 call); set (1 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

cerberus/.frama-c/besson_blazy_wilkie_Fig_1_adapted.parse/metrics.log

@@ -2,8 +2,12 @@
 =====================
  isset (2 calls); main (0 call); set (1 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

cerberus/.frama-c/besson_blazy_wilkie_Fig_2.parse/metrics.log

@@ -2,8 +2,12 @@
 =====================
  hash (1 call); main (0 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

cerberus/.frama-c/cast_struct_and_first_member_1.parse/metrics.log

@@ -2,8 +2,12 @@
 =====================
  main (0 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

cerberus/.frama-c/cast_struct_inter_member_1.parse/metrics.log

@@ -2,8 +2,12 @@
 =====================
  main (0 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)

cerberus/.frama-c/cast_struct_isomorphic.parse/metrics.log

@@ -2,8 +2,12 @@
 =====================
  main (0 call); 
 
-Undefined functions (0)
-=======================
+Specified-only functions (0)
+============================
+ 
+
+Undefined and unspecified functions (0)
+=======================================
  
 
 'Extern' global variables (0)