summaryrefslogtreecommitdiff
path: root/checklink/Frameworks.ml
Commit message (Expand)AuthorAge
* checklink: dead and debug code eliminationGravatar varobert2012-07-12
* checklink: simplificationsGravatar varobert2012-07-12
* checklink: configuration, indicate external symbolsGravatar varobert2012-07-12
* checklink: added configurabilityGravatar varobert2012-07-11
* checklink: improved user-friendlinessGravatar varobert2012-06-04
* checklink: new disassembler, error severity, ...Gravatar varobert2012-06-01
* Better error reports for checklinkGravatar varobert2012-05-30
* cchecklink now reads segments instead of sectionsGravatar varobert2012-05-10
* Added small data area support to checklinkGravatar varobert2012-04-20
* New section mapping checks and symbol data lookupGravatar varobert2012-04-13
* Added safety to potentially overflowing arithmeticsGravatar varobert2012-04-04
* Better fuzzing optionsGravatar varobert2012-04-04
* Adjustments to cchecklink's options and verbosityGravatar varobert2012-04-04
* Cleaning up checklinkGravatar varobert2012-04-04
* checklink: first import of Valentin Robert's validator for asm and linkGravatar xleroy2012-03-28