Commit 36a611a3 authored by Dominik Charousset's avatar Dominik Charousset

Relax BASP checks to verify required fields only

parent f00b4a53
......@@ -113,17 +113,12 @@ bool zero(T val) {
bool server_handshake_valid(const header& hdr) {
return valid(hdr.source_node)
&& ! valid(hdr.dest_node)
&& zero(hdr.dest_actor)
&& ! zero(hdr.operation_data)
&& ! zero(hdr.payload_len);
}
bool client_handshake_valid(const header& hdr) {
return valid(hdr.source_node)
&& zero(hdr.source_actor)
&& zero(hdr.dest_actor)
&& zero(hdr.operation_data);
return valid(hdr.source_node);
}
bool dispatch_message_valid(const header& hdr) {
......@@ -136,10 +131,7 @@ bool announce_proxy_instance_valid(const header& hdr) {
return valid(hdr.source_node)
&& valid(hdr.dest_node)
&& hdr.source_node != hdr.dest_node
&& zero(hdr.source_actor)
&& ! zero(hdr.dest_actor)
&& zero(hdr.payload_len)
&& zero(hdr.operation_data);
&& ! zero(hdr.dest_actor);
}
bool kill_proxy_instance_valid(const header& hdr) {
......@@ -147,8 +139,6 @@ bool kill_proxy_instance_valid(const header& hdr) {
&& valid(hdr.dest_node)
&& hdr.source_node != hdr.dest_node
&& ! zero(hdr.source_actor)
&& zero(hdr.dest_actor)
&& zero(hdr.payload_len)
&& ! zero(hdr.operation_data);
}
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment