[r8547]

[r8545]

[r8542]

[r8541]

[r8540]

[r8539]

fixed some typos

[r8538]

[r8537]

simplifyed counter access by making them an array

[r8536]

[r8535]

[r8534]

to not return may_alias if type check failed, proceed with next checks

[r8533]

[r8532]

[r8531]

reformat
do not "panic" if a file cannot be dumped

[r8530]

[r8529]

[r8528]

[r8527]

[r8526]

[r8525]

[r8524]

[r8521]

- updated for new memory disambiguator

[r8520]

doxygen docu enhanced

[r8519]

[r8518]

- more cases regarding TLS/locals implemented
- type based analysis: check modes first
- add option for bytes access is a may-alias for anything

[r8517]

[r8515]

[r8512]

[r8508]

[r8507]

[r8506]

[r8505]

Memory disambiguator calls added

[r8502]

[r8501]

[r8500]

[r8499]

[r8498]

Fixed bitfield size (need an extra bit for the sign :-(

[r8496]

[r8495]

[r8494]