Warning: session_start(): open(/var/lib/php/sessions/sess_c0pa51golgut6mbu5vfioakahf, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
static Collection getCodeFragmentSafety(S code) {
SS map = mechHashMap("JavaX Identifier Safety");
Set identifiers = tok_allIdentifiers(code);
Collection tags = treeSet();
for (S id : identifiers) {
S tag;
if (codeAnalysis_isSafeIdentifier(id)) tag = "safe"; // dangerous functions don't start with $
else tag = or2(map.get(id), "?");
tags.addAll(tokSplitAtComma(tag));
}
tags = simplifySafetyTags(tags);
if (empty(tags)) tags.add("?");
ret tags;
}