Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | cchecklink now reads segments instead of sections | varobert | 2012-05-10 | 1 | -2/+7 |
| | | | | | | | | | | | | | cchecklink is now using program header information to figure out the initial address space of the program, rather than the information in the parent section of each symbol. This decouples the resolution of symbols from inaccurate section information, reflecting more the actual program loading. Additionally, a -relaxed option has been added to deal with some strange ELFs, for instance when symbols data is dynamically bootstrapped from another place by boot code different than the program loader. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1893 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e | ||||
* | Better fuzzing options | varobert | 2012-04-04 | 1 | -12/+20 |
| | | | | git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1868 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e | ||||
* | Adjustments to cchecklink's options and verbosity | varobert | 2012-04-04 | 1 | -9/+14 |
| | | | | git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1866 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e | ||||
* | checklink: first import of Valentin Robert's validator for asm and link | xleroy | 2012-03-28 | 1 | -0/+56 |
cparser: renamed Errors to Cerrors; removed packing into Cparser. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1856 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e |