---
_id: '59616'
abstract:
- lang: eng
  text: <jats:title>Abstract</jats:title><jats:p>The activation of C(<jats:italic>sp</jats:italic><jats:sup>3</jats:sup>)−F
    bonds by the commercially available catalyst B(C<jats:sub>6</jats:sub>F<jats:sub>5</jats:sub>)<jats:sub>3</jats:sub>
    is reported and applied in reactions with arenes, allylic, vinylic and acetylenic
    silanes, and olefins to achieve a variety of C−C bond formations (45 examples).</jats:p>
author:
- first_name: Axel
  full_name: Hoppe, Axel
  id: '62844'
  last_name: Hoppe
- first_name: Arne J.
  full_name: Stepen, Arne J.
  last_name: Stepen
- first_name: Laura
  full_name: Köring, Laura
  last_name: Köring
- first_name: Jan
  full_name: Paradies, Jan
  id: '53339'
  last_name: Paradies
  orcid: 0000-0002-3698-668X
citation:
  ama: Hoppe A, Stepen AJ, Köring L, Paradies J. Tris(pentafluorophenyl)borane‐Catalyzed
    Functionalization of Benzylic C−F Bonds. <i>Advanced Synthesis &#38;amp; Catalysis</i>.
    2024;366(13):2933-2938. doi:<a href="https://doi.org/10.1002/adsc.202400511">10.1002/adsc.202400511</a>
  apa: Hoppe, A., Stepen, A. J., Köring, L., &#38; Paradies, J. (2024). Tris(pentafluorophenyl)borane‐Catalyzed
    Functionalization of Benzylic C−F Bonds. <i>Advanced Synthesis &#38;amp; Catalysis</i>,
    <i>366</i>(13), 2933–2938. <a href="https://doi.org/10.1002/adsc.202400511">https://doi.org/10.1002/adsc.202400511</a>
  bibtex: '@article{Hoppe_Stepen_Köring_Paradies_2024, title={Tris(pentafluorophenyl)borane‐Catalyzed
    Functionalization of Benzylic C−F Bonds}, volume={366}, DOI={<a href="https://doi.org/10.1002/adsc.202400511">10.1002/adsc.202400511</a>},
    number={13}, journal={Advanced Synthesis &#38;amp; Catalysis}, publisher={Wiley},
    author={Hoppe, Axel and Stepen, Arne J. and Köring, Laura and Paradies, Jan},
    year={2024}, pages={2933–2938} }'
  chicago: 'Hoppe, Axel, Arne J. Stepen, Laura Köring, and Jan Paradies. “Tris(Pentafluorophenyl)Borane‐Catalyzed
    Functionalization of Benzylic C−F Bonds.” <i>Advanced Synthesis &#38;amp; Catalysis</i>
    366, no. 13 (2024): 2933–38. <a href="https://doi.org/10.1002/adsc.202400511">https://doi.org/10.1002/adsc.202400511</a>.'
  ieee: 'A. Hoppe, A. J. Stepen, L. Köring, and J. Paradies, “Tris(pentafluorophenyl)borane‐Catalyzed
    Functionalization of Benzylic C−F Bonds,” <i>Advanced Synthesis &#38;amp; Catalysis</i>,
    vol. 366, no. 13, pp. 2933–2938, 2024, doi: <a href="https://doi.org/10.1002/adsc.202400511">10.1002/adsc.202400511</a>.'
  mla: Hoppe, Axel, et al. “Tris(Pentafluorophenyl)Borane‐Catalyzed Functionalization
    of Benzylic C−F Bonds.” <i>Advanced Synthesis &#38;amp; Catalysis</i>, vol. 366,
    no. 13, Wiley, 2024, pp. 2933–38, doi:<a href="https://doi.org/10.1002/adsc.202400511">10.1002/adsc.202400511</a>.
  short: A. Hoppe, A.J. Stepen, L. Köring, J. Paradies, Advanced Synthesis &#38;amp;
    Catalysis 366 (2024) 2933–2938.
date_created: 2025-04-22T05:59:08Z
date_updated: 2025-04-22T06:11:59Z
department:
- _id: '389'
doi: 10.1002/adsc.202400511
intvolume: '       366'
issue: '13'
keyword:
- fluoride
- bond activation
- borane
- Lewis acid
- C-C bond formation
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://advanced.onlinelibrary.wiley.com/doi/10.1002/adsc.202400511
oa: '1'
page: 2933-2938
publication: Advanced Synthesis &amp; Catalysis
publication_identifier:
  issn:
  - 1615-4150
  - 1615-4169
publication_status: published
publisher: Wiley
quality_controlled: '1'
status: public
title: Tris(pentafluorophenyl)borane‐Catalyzed Functionalization of Benzylic C−F Bonds
type: journal_article
user_id: '62844'
volume: 366
year: '2024'
...
---
_id: '30511'
abstract:
- lang: eng
  text: <jats:title>Abstract</jats:title><jats:p>Many critical codebases are written
    in C, and most of them use preprocessor directives to encode variability, effectively
    encoding software product lines. These preprocessor directives, however, challenge
    any static code analysis. SPLlift, a previously presented approach for analyzing
    software product lines, is limited to Java programs that use a rather simple feature
    encoding and to analysis problems with a finite and ideally small domain. Other
    approaches that allow the analysis of real-world C software product lines use
    special-purpose analyses, preventing the reuse of existing analysis infrastructures
    and ignoring the progress made by the static analysis community. This work presents
    <jats:sc>VarAlyzer</jats:sc>, a novel static analysis approach for software product
    lines. <jats:sc>VarAlyzer</jats:sc> first transforms preprocessor constructs to
    plain C while preserving their variability and semantics. It then solves any given
    distributive analysis problem on transformed product lines in a variability-aware
    manner. <jats:sc>VarAlyzer</jats:sc> ’s analysis results are annotated with feature
    constraints that encode in which configurations each result holds. Our experiments
    with 95 compilation units of OpenSSL show that applying <jats:sc>VarAlyzer</jats:sc>
    enables one to conduct inter-procedural, flow-, field- and context-sensitive data-flow
    analyses on entire product lines for the first time, outperforming the product-based
    approach for highly-configurable systems.</jats:p>
alternative_title:
- Revoking the preprocessor’s special role
article_number: '35'
article_type: original
author:
- first_name: Philipp
  full_name: Schubert, Philipp
  id: '60543'
  last_name: Schubert
  orcid: 0000-0002-8674-1859
- first_name: Paul
  full_name: Gazzillo, Paul
  last_name: Gazzillo
- first_name: Zach
  full_name: Patterson, Zach
  last_name: Patterson
- first_name: Julian
  full_name: Braha, Julian
  last_name: Braha
- first_name: Fabian Benedikt
  full_name: Schiebel, Fabian Benedikt
  id: '55745'
  last_name: Schiebel
  orcid: 0009-0008-6867-9802
- first_name: Ben
  full_name: Hermann, Ben
  id: '66173'
  last_name: Hermann
  orcid: 0000-0001-9848-2017
- first_name: Shiyi
  full_name: Wei, Shiyi
  last_name: Wei
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: Schubert P, Gazzillo P, Patterson Z, et al. Static data-flow analysis for software
    product lines in C. <i>Automated Software Engineering</i>. 2022;29(1). doi:<a
    href="https://doi.org/10.1007/s10515-022-00333-1">10.1007/s10515-022-00333-1</a>
  apa: Schubert, P., Gazzillo, P., Patterson, Z., Braha, J., Schiebel, F. B., Hermann,
    B., Wei, S., &#38; Bodden, E. (2022). Static data-flow analysis for software product
    lines in C. <i>Automated Software Engineering</i>, <i>29</i>(1), Article 35. <a
    href="https://doi.org/10.1007/s10515-022-00333-1">https://doi.org/10.1007/s10515-022-00333-1</a>
  bibtex: '@article{Schubert_Gazzillo_Patterson_Braha_Schiebel_Hermann_Wei_Bodden_2022,
    title={Static data-flow analysis for software product lines in C}, volume={29},
    DOI={<a href="https://doi.org/10.1007/s10515-022-00333-1">10.1007/s10515-022-00333-1</a>},
    number={135}, journal={Automated Software Engineering}, publisher={Springer Science
    and Business Media LLC}, author={Schubert, Philipp and Gazzillo, Paul and Patterson,
    Zach and Braha, Julian and Schiebel, Fabian Benedikt and Hermann, Ben and Wei,
    Shiyi and Bodden, Eric}, year={2022} }'
  chicago: Schubert, Philipp, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian
    Benedikt Schiebel, Ben Hermann, Shiyi Wei, and Eric Bodden. “Static Data-Flow
    Analysis for Software Product Lines in C.” <i>Automated Software Engineering</i>
    29, no. 1 (2022). <a href="https://doi.org/10.1007/s10515-022-00333-1">https://doi.org/10.1007/s10515-022-00333-1</a>.
  ieee: 'P. Schubert <i>et al.</i>, “Static data-flow analysis for software product
    lines in C,” <i>Automated Software Engineering</i>, vol. 29, no. 1, Art. no. 35,
    2022, doi: <a href="https://doi.org/10.1007/s10515-022-00333-1">10.1007/s10515-022-00333-1</a>.'
  mla: Schubert, Philipp, et al. “Static Data-Flow Analysis for Software Product Lines
    in C.” <i>Automated Software Engineering</i>, vol. 29, no. 1, 35, Springer Science
    and Business Media LLC, 2022, doi:<a href="https://doi.org/10.1007/s10515-022-00333-1">10.1007/s10515-022-00333-1</a>.
  short: P. Schubert, P. Gazzillo, Z. Patterson, J. Braha, F.B. Schiebel, B. Hermann,
    S. Wei, E. Bodden, Automated Software Engineering 29 (2022).
date_created: 2022-03-25T07:41:26Z
date_updated: 2025-12-04T10:42:38Z
department:
- _id: '76'
doi: 10.1007/s10515-022-00333-1
intvolume: '        29'
issue: '1'
keyword:
- inter-procedural static analysis
- software product lines
- preprocessor
- LLVM
- C/C++
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://link.springer.com/article/10.1007/s10515-022-00333-1
oa: '1'
project:
- _id: '12'
  name: 'SFB 901 - B4: SFB 901 - Subproject B4'
- _id: '3'
  name: 'SFB 901 - B: SFB 901 - Project Area B'
- _id: '1'
  name: 'SFB 901: SFB 901'
publication: Automated Software Engineering
publication_identifier:
  issn:
  - 0928-8910
  - 1573-7535
publication_status: published
publisher: Springer Science and Business Media LLC
status: public
title: Static data-flow analysis for software product lines in C
type: journal_article
user_id: '15249'
volume: 29
year: '2022'
...