[Question] MAX_MEMORY_SIZE limitation

[echarron-git]

Hello,

Could you explain why we cannot increase the MAX_MEMORY_SIZE value (inside dse.py) please ?

When I tried to set a bigger value, I get an unexpected behavior with the dse.py and I don't understand why :-( . I don't get it because miasm seems only use list/set (that doesn't have size limitation) and not fixed size array. Why did you choose this value please ?

Thank for the help.

[W0ni]

Hello @echarron-git ,
Do you mean MAX_MEMORY_INJECT?

[echarron-git]

Hello @W0ni,

Yes MAX_MEMORY_INJECT , I don't understand what are the limatations.

[W0ni]

The comments in the code suggest that constraints past this limit could mess up the constraint solver. Maybe you could try to set this limit to a higher value to see if it fixes your problem?

[echarron-git]

Thank's @W0ni, I already tried and get unexpected behavior :-( , that's why I am asking why we cannot directly increase the value.