public Annotation[] getAnnots(Object o) {
Reflect.getMethodName();
Double page = null;
if (o instanceof NativeObject) {
NativeObject x = (NativeObject) o;
if (x.get(0, x) != UniqueTag.NOT_FOUND && x.get(1, x) != UniqueTag.NOT_FOUND
&& x.get(2, x) != UniqueTag.NOT_FOUND && x.get(3, x) != UniqueTag.NOT_FOUND) {
double param1 = Double.parseDouble(x.get(0, x).toString());
double param2 = Double.parseDouble(x.get(1, x).toString());
double param3 = Double.parseDouble(x.get(2, x).toString());
double param4 = Double.parseDouble(x.get(3, x).toString());
if (param1 < 0 && param2 < 0 && param3 < 0 && param4 < 0) {
MethodVulnerability vuln = new MethodVulnerability("CVE-2009-1492", "getAnnots", "buffer overflow");
scrutinizer.getAnalysisResult().vulnerabilityUsed(vuln);
}