| Message ID | ac00d0259530ac895e7260ff7f64833c58053983.1696231870.git.nicola.vetrini@bugseng.com (mailing list archive) |
|---|---|
| State | New, archived |
| Headers | show |
| Series | docs/misra: add documentation skeleton to address MISRA C:2012 Dir 4.1 | expand |
On Mon, 2 Oct 2023, Nicola Vetrini wrote: > The documentation pertaining Directive 4.1 is contained in docs/misra. > The build script driving the analysis is amended to allow ECLAIR to > analyze such file. > > Signed-off-by: Nicola Vetrini <nicola.vetrini@bugseng.com> Acked-by: Stefano Stabellini <sstabellini@kernel.org> > --- > Changes in v3: > - amended prepare script. > --- > automation/eclair_analysis/build.sh | 6 +++--- > automation/eclair_analysis/prepare.sh | 7 ++++--- > 2 files changed, 7 insertions(+), 6 deletions(-) > > diff --git a/automation/eclair_analysis/build.sh b/automation/eclair_analysis/build.sh > index ec087dd822fa..ea7a1e5a59b0 100755 > --- a/automation/eclair_analysis/build.sh > +++ b/automation/eclair_analysis/build.sh > @@ -34,11 +34,11 @@ else > fi > > ( > - cd xen > - > + make -C docs misra > make "-j${PROCESSORS}" "-l${PROCESSORS}.0" \ > "CROSS_COMPILE=${CROSS_COMPILE}" \ > "CC=${CROSS_COMPILE}gcc-12" \ > "CXX=${CROSS_COMPILE}g++-12" \ > - "XEN_TARGET_ARCH=${XEN_TARGET_ARCH}" > + "XEN_TARGET_ARCH=${XEN_TARGET_ARCH}" \ > + -C xen > ) > diff --git a/automation/eclair_analysis/prepare.sh b/automation/eclair_analysis/prepare.sh > index 0cac5eba00ae..fe9d16e48ecc 100755 > --- a/automation/eclair_analysis/prepare.sh > +++ b/automation/eclair_analysis/prepare.sh > @@ -35,11 +35,12 @@ else > fi > > ( > - cd xen > - cp "${CONFIG_FILE}" .config > + ./configure > + cp "${CONFIG_FILE}" xen/.config > make clean > find . -type f -name "*.safparse" -print -delete > - make -f ${script_dir}/Makefile.prepare prepare > + cd xen > + make -f "${script_dir}/Makefile.prepare" prepare > # Translate the /* SAF-n-safe */ comments into ECLAIR CBTs > scripts/xen-analysis.py --run-eclair --no-build --no-clean > ) > -- > 2.34.1 >
diff --git a/automation/eclair_analysis/build.sh b/automation/eclair_analysis/build.sh index ec087dd822fa..ea7a1e5a59b0 100755 --- a/automation/eclair_analysis/build.sh +++ b/automation/eclair_analysis/build.sh @@ -34,11 +34,11 @@ else fi ( - cd xen - + make -C docs misra make "-j${PROCESSORS}" "-l${PROCESSORS}.0" \ "CROSS_COMPILE=${CROSS_COMPILE}" \ "CC=${CROSS_COMPILE}gcc-12" \ "CXX=${CROSS_COMPILE}g++-12" \ - "XEN_TARGET_ARCH=${XEN_TARGET_ARCH}" + "XEN_TARGET_ARCH=${XEN_TARGET_ARCH}" \ + -C xen ) diff --git a/automation/eclair_analysis/prepare.sh b/automation/eclair_analysis/prepare.sh index 0cac5eba00ae..fe9d16e48ecc 100755 --- a/automation/eclair_analysis/prepare.sh +++ b/automation/eclair_analysis/prepare.sh @@ -35,11 +35,12 @@ else fi ( - cd xen - cp "${CONFIG_FILE}" .config + ./configure + cp "${CONFIG_FILE}" xen/.config make clean find . -type f -name "*.safparse" -print -delete - make -f ${script_dir}/Makefile.prepare prepare + cd xen + make -f "${script_dir}/Makefile.prepare" prepare # Translate the /* SAF-n-safe */ comments into ECLAIR CBTs scripts/xen-analysis.py --run-eclair --no-build --no-clean )
The documentation pertaining Directive 4.1 is contained in docs/misra. The build script driving the analysis is amended to allow ECLAIR to analyze such file. Signed-off-by: Nicola Vetrini <nicola.vetrini@bugseng.com> --- Changes in v3: - amended prepare script. --- automation/eclair_analysis/build.sh | 6 +++--- automation/eclair_analysis/prepare.sh | 7 ++++--- 2 files changed, 7 insertions(+), 6 deletions(-)