sei-eschwartz

Pharos commit cd2861a made some changes with problematic rules that caused errors like yours in the past. But I can't tell what commit you were on from the docker ID....

Was the ooprolog step run with 2becf22? Or was that from before the latest batch commit too? I would recommend using `--log-level 5` when re-running the prolog. That's a reasonable...

Yes, those look good. > Is there a debug flag for ooprolog? No, just the log level. > Also I'm currently partitioning and `Writing serialized data to "ooprog.ser".` is again...

I was able to reproduce your problem by running the latest version of ooanalyzer on your facts file. I should have enough information to start investigating.

Here is the end of the log at log-level 5: ``` Guessing factConstructor(0x12d48a0). There are 3,008,377 known facts. reasoningLoop: pre-reason sanityChecks Constraint checks succeeded, proceeding to reason forward! reasoningLoop: reasonForardAsManyTimesAsPossible...

0x12d48a0 looks like a constructor to me. It also just gave me ideas for #177 and #178 :)

`Concluding factVFTableSizeGTE(0x19fc2bc, 0x6c).` This seems incorrect, and must come from reasonVFTableSizeGTE_B, which has to do with inherited classes. Specifically, one of these: ``` Concluding factDerivedClass(0x19fc2bc, 0x19fb9f8, 0). Concluding factDerivedClass(0x19fc2dc, 0x19fc2bc,...

It's hard to tell where the bad size 0x6c is coming from, so I'm rerunning with `--log-level 7`.

> ooanalyzer claims that no delete() methods were found but the facts file contains insnCallsDelete lines that seem identical to the previous facts file (except the last column). And the...

``` [eschwartz@pd4 analysis]$ cat -n ../code/testcases/legoavengers/unknown.exe.results.log | fgrep 'VFTableSizeGTE' | fgrep '0x6c).' 17563784 reasonVFTableSizeGTE_A(0x192389c, 0x6c). 17563869 reasonVFTableSizeGTE_A(0x194d444, 0x6c). 17564339 Concluding factVFTableSizeGTE(0x194d444, 0x6c). 17564930 Concluding factVFTableSizeGTE(0x192389c, 0x6c). 18251192 Fail-Retracting factVFTableSizeGTE(0x194d444, 0x6c)......