[Blog] Update the cross-boundary dataflows
[Docs] Add concolic execution rules and cross-boundary dataflows document