From 408812b4dbc573580f706556adddeca35a2c590d Mon Sep 17 00:00:00 2001
From: mc2zk <mc2zk@git.zephyr-software.com>
Date: Mon, 11 Dec 2017 17:52:24 +0000
Subject: [PATCH] Adding assurance case output for return shadow stack

Former-commit-id: 2d013a1d72e926df91ded6c04fd6e3779d62ec8d
---
 tools/ret_shadow_stack/rss_instrument.cpp | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/tools/ret_shadow_stack/rss_instrument.cpp b/tools/ret_shadow_stack/rss_instrument.cpp
index c8ee2a972..b98b7c4eb 100644
--- a/tools/ret_shadow_stack/rss_instrument.cpp
+++ b/tools/ret_shadow_stack/rss_instrument.cpp
@@ -577,9 +577,12 @@ bool RSS_Instrument::execute()
 		
 	}
 
-	cout << "# ATTRIBUTE safe_funcs=" <<std::dec<<safe_funcs<<endl;
-	cout << "# ATTRIBUTE problem_funcs=" <<problem_funcs<<endl;
-	cout << "# ATTRIBUTE instr_funcs=" <<instr_funcs<<endl;
+	cout << "# ATTRIBUTE rss::total_funcs=" <<std::dec<<safe_funcs+problem_funcs+instr_funcs<<endl;
+	cout << "# ATTRIBUTE rss::safe_funcs=" <<std::dec<<safe_funcs<<endl;
+	cout << "# ATTRIBUTE rss::problem_funcs=" <<problem_funcs<<endl;
+	cout << "# ATTRIBUTE rss::instr_funcs=" <<instr_funcs<<endl;
+	cout << "# ATTRIBUTE rss::pct_funcs_instrumented=" <<((float)instr_funcs/(float)(safe_funcs+problem_funcs+instr_funcs))<<endl;
+	
 
 	/* return an exit code */
 	if(success)
-- 
GitLab