search for: esec

...Australia. We have developed a precise and highly efficient pointer analysis framework on top of LLVM, The approach is flow, context, and field sensitive, details are described in the two papers below: "Boosting the performance of flow-sensitive points-to analysis using value flow" (in ESEC-FSE 2011), and "Precise and scalable context-sensitive pointer analysis via value flow graph" (in ISMM 2013). The analysis was initially developed for the purpose of bug checking, and is now extended to support compiler optimizations. We have tested it with existing compiler optimization...

...loped a precise and highly efficient pointer analysis > framework on top of LLVM, The approach is flow, context, and field > sensitive, details are described in the two papers below: > > "Boosting the performance of flow-sensitive points-to analysis using > value flow" (in ESEC-FSE 2011), and > "Precise and scalable context-sensitive pointer analysis via value > flow graph" (in ISMM 2013). > > The analysis was initially developed for the purpose of bug checking, > and is now extended to support compiler optimizations. We have tested > it with e...

...oped a precise and highly efficient pointer analysis > framework on top of LLVM, The approach is flow, context, and field > sensitive, details are described in the two papers below: > > "Boosting the performance of flow-sensitive points-to analysis using > value flow" (in ESEC-FSE 2011), and > "Precise and scalable context-sensitive pointer analysis via value > flow graph" (in ISMM 2013). > > The analysis was initially developed for the purpose of bug checking, > and is now extended to support compiler optimizations. We have tested > it with...

...ighly efficient pointer analysis >> framework on top of LLVM, The approach is flow, context, and field >> sensitive, details are described in the two papers below: >> >> "Boosting the performance of flow-sensitive points-to analysis using >> value flow" (in ESEC-FSE 2011), and >> "Precise and scalable context-sensitive pointer analysis via value >> flow graph" (in ISMM 2013). >> >> The analysis was initially developed for the purpose of bug checking, >> and is now extended to support compiler optimizations. We have...

...oped a precise and highly efficient pointer analysis > framework on top of LLVM, The approach is flow, context, and field > sensitive, details are described in the two papers below: > > "Boosting the performance of flow-sensitive points-to analysis using > value flow" (in ESEC-FSE 2011), and > "Precise and scalable context-sensitive pointer analysis via value > flow graph" (in ISMM 2013). > > The analysis was initially developed for the purpose of bug checking, > and is now extended to support compiler optimizations. We have tested > it with...

...njie Chen, Jiaqi Han, Peiyi Sun, Lingming Zhang, Dan Hao, and Lu Zhang. 2019. Compiler bug isolation via effective witness test program generation. In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019). Association for Computing Machinery, New York, NY, USA, 223–234. DOI:https://doi.org/10.1145/3338906.3338957 [2] Junjie Chen, Haoyang Ma, Lingming Zhang, Enhanced Compiler Bug Isolation via Memoized Search, Proceedings of the 35th IEEE/ACM International Conference on Automated Software E...

...nter analysis >>> framework on top of LLVM, The approach is flow, context, and field >>> sensitive, details are described in the two papers below: >>> >>> "Boosting the performance of flow-sensitive points-to analysis using >>> value flow" (in ESEC-FSE 2011), and >>> "Precise and scalable context-sensitive pointer analysis via value >>> flow graph" (in ISMM 2013). >>> >>> The analysis was initially developed for the purpose of bug checking, >>> and is now extended to support compiler opti...

...highly efficient pointer analysis >> framework on top of LLVM, The approach is flow, context, and field >> sensitive, details are described in the two papers below: >> >> "Boosting the performance of flow-sensitive points-to analysis using >> value flow" (in ESEC-FSE 2011), and >> "Precise and scalable context-sensitive pointer analysis via value >> flow graph" (in ISMM 2013). >> >> The analysis was initially developed for the purpose of bug checking, >> and is now extended to support compiler optimizations. We have t...

...nd > > >>> field > > >>> sensitive, details are described in the two papers below: > > >>> > > >>> "Boosting the performance of flow-sensitive points-to analysis > > >>> using > > >>> value flow" (in ESEC-FSE 2011), and > > >>> "Precise and scalable context-sensitive pointer analysis via > > >>> value > > >>> flow graph" (in ISMM 2013). > > >>> > > >>> The analysis was initially developed for the purpose of bug >...

...e approach is flow, context, and > >>> field > >>> sensitive, details are described in the two papers below: > >>> > >>> "Boosting the performance of flow-sensitive points-to analysis > >>> using > >>> value flow" (in ESEC-FSE 2011), and > >>> "Precise and scalable context-sensitive pointer analysis via > >>> value > >>> flow graph" (in ISMM 2013). > >>> > >>> The analysis was initially developed for the purpose of bug > >>> checking, &...

...nter analysis >>> framework on top of LLVM, The approach is flow, context, and field >>> sensitive, details are described in the two papers below: >>> >>> "Boosting the performance of flow-sensitive points-to analysis using >>> value flow" (in ESEC-FSE 2011), and >>> "Precise and scalable context-sensitive pointer analysis via value >>> flow graph" (in ISMM 2013). >>> >>> The analysis was initially developed for the purpose of bug checking, >>> and is now extended to support compiler opti...

...t;>> framework on top of LLVM, The approach is flow, context, and field >>>> sensitive, details are described in the two papers below: >>>> >>>> "Boosting the performance of flow-sensitive points-to analysis using >>>> value flow" (in ESEC-FSE 2011), and >>>> "Precise and scalable context-sensitive pointer analysis via value >>>> flow graph" (in ISMM 2013). >>>> >>>> The analysis was initially developed for the purpose of bug checking, >>>> and is now extended to s...

...njie Chen, Jiaqi Han, Peiyi Sun, Lingming Zhang, Dan Hao, and Lu Zhang. 2019. Compiler bug isolation via effective witness test program generation. In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019). Association for Computing Machinery, New York, NY, USA, 223–234. DOI:https://doi.org/10.1145/3338906.3338957 <https://doi.org/10.1145/3338906.3338957> > [2] Junjie Chen, Haoyang Ma, Lingming Zhang, Enhanced Compiler Bug Isolation via Memoized Search, Proceedings of the 35th IEEE...

This patch set adds XSM security labels to useful debugging output locations, and fixes some assumptions that all interrupts behaved like GSI interrupts (which had useful non-dynamic IDs). It also cleans up the policy build process and adds an example of how to use the user field in the security context. Debug output: [PATCH 01/10] xsm: Add security labels to event-channel dump [PATCH 02/10] xsm:

...on top of LLVM, The approach is flow, context, and field > >>>> sensitive, details are described in the two papers below: > >>>> > >>>> "Boosting the performance of flow-sensitive points-to analysis using > >>>> value flow" (in ESEC-FSE 2011), and > >>>> "Precise and scalable context-sensitive pointer analysis via value > >>>> flow graph" (in ISMM 2013). > >>>> > >>>> The analysis was initially developed for the purpose of bug checking, > >>>>...

## TL;DR We introduce bcov, an open-source binary-level coverage analysis tool [1]. The details are discussed in our paper [2], which is accepted to ESEC/FSE'20. bcov statically instruments x86-64 ELF binaries without compiler support. It features several techniques that allow it to achieve high performance, transparency, and flexibility. For example, running "make check-llvm-codegen" with an instrumented version of llc introduces a m...

...;>> framework on top of LLVM, The approach is flow, context, and field >>>> sensitive, details are described in the two papers below: >>>> >>>> "Boosting the performance of flow-sensitive points-to analysis using >>>> value flow" (in ESEC-FSE 2011), and >>>> "Precise and scalable context-sensitive pointer analysis via value >>>> flow graph" (in ISMM 2013). >>>> >>>> The analysis was initially developed for the purpose of bug checking, >>>> and is now extended to...

...;> field >> > >>> sensitive, details are described in the two papers below: >> > >>> >> > >>> "Boosting the performance of flow-sensitive points-to analysis >> > >>> using >> > >>> value flow" (in ESEC-FSE 2011), and >> > >>> "Precise and scalable context-sensitive pointer analysis via >> > >>> value >> > >>> flow graph" (in ISMM 2013). >> > >>> >> > >>> The analysis was initially developed for the...

...= totalbytes >> SECTOR_SHIFT; + totalsectors = totalbytes / sector_size; if (totalsectors >= 65536) { set_16(&sbs->bsSectors, 0); } else { @@ -284,7 +298,7 @@ static int patch_file_and_bootblock(int fd, const char *dir, int devfd) } set_32(&sbs->bsHugeSectors, totalsectors); - set_16(&sbs->bsBytesPerSec, SECTOR_SIZE); + set_16(&sbs->bsBytesPerSec, sector_size); set_16(&sbs->bsSecPerTrack, geo.sectors); set_16(&sbs->bsHeads, geo.heads); set_32(&sbs->bsHiddenSecs, geo.start); @@ -292,11 +306,11...

...grui Song <maskray at google.com> wrote: > On 2020-06-26, Ammar Ben Khadra via llvm-dev wrote: > >## TL;DR > > > >We introduce bcov, an open-source binary-level coverage analysis tool [1]. > >The details are discussed in our paper [2], which is accepted to > >ESEC/FSE'20. bcov statically instruments x86-64 ELF binaries without > >compiler support. It features several techniques that allow it to achieve > >high performance, transparency, and flexibility. > > > >For example, running "make check-llvm-codegen" with an instru...