Implicit unpermitted operations should be sandboxed #791

[Markoutte]

Description

Adds a sandbox block code when creating a new instance of a model.

Fixes #791

Type of Change

• Breaking change (fix or feature that would cause existing functionality to not work as expected)

How Has This Been Tested?

Automated Testing

All tests should work as before

Manual Scenario

Try to run this example. File a.txt should never be created. Try to uncomment static block too. Errors can differ, but operation must be blocked by default.

class A {
    int anInt = 15;

    static {
//        call();
    }

    A () {
    }

    A (int a) {
        anInt = a;
        call();
    }

    static void call() {
        File a = new File("a.txt");
        try {
            a.createNewFile();
        } catch (IOException e) {
            throw new RuntimeException(e);
        }
    }
}

public class ImplicitSecurityManager {
    public int read(A a)  {
        if (a.anInt < 10) {
            return 0;
        }
        return a.anInt;
    }
}

Checklist:

• The change followed the style guidelines of the UTBot project
• Self-review of the code is passed
• The change contains enough commentaries, particularly in hard-to-understand areas
• New documentation is provided or existed one is altered
• No new warnings
• New tests have been added
• All tests pass locally with my changes