Update RBAC after each `roleSetter` function event is received and it is executed successfully

[mojtaba-eshghie]

The updating of RBAC using updateRBAC utility function should happen regardless of the violation or normal events. This will ensure the monitor is keeping track of the runtime data correctly.

I think the following line is the suitable place to add it (before serve):
https://github.com/mojtaba-eshghie/CLawK/blob/43d809942a90c2beb851579a473cba379ef42eac/server/monitor/dcrCaller.js#L65

[mojtaba-eshghie]

• updateRBAC is not yet invoked each time an event is executed.
• When an activity is sent for the DCR engine, the role is not attached to it yet.

[mojtaba-eshghie]

On second thoughts this would have been a deterimental vulnerability of the monitoring system if implemented like this. In simple words, any function could change the roles of an account without being noticed. This features should be changed to for all role-setter functions update the exact role that should be updated after the function is executed in the monitor.

To resolve this correctly, we have to use another parameter as the monitor giving in the following form:
{
"setterFunctionIdentifier": "roleIdentifier"
}

Here, the roleIdentifier is the variable identifier holding the address of the person holding the role. Of course the new value that should be set for the roleIdentifier is received as msg.sender. So, the first thing checked against is if this function is among the setters from the passed file. Second, other things such as the convention we have for the arguments.