ropas/sparrow

The Sparrow Static Analyzer

sparrow's Issues

Question about parsing error

Hi Sparrow Develop Team,

I use v0.2 and find I cannot run most of C project because it told me parsing error.

Is there anything I should pay attention to? e.g. GCC version, GCC -E usage, other environmental stuff.

I know this is an old project, but it is still very brilliant to me. I wish you could give me some guidance.

Thank you.

root@f9cc83aedc94:/program/signify# sparrow signify.i
signify.i 



--------------------------------------------------------------------------------
Front-end begins...
--------------------------------------------------------------------------------

/usr/include/x86_64-linux-gnu/bits/floatn.h[75:9-17] : syntax error
Parsing errorFrontc.ParseError("Parse error")
Raised at file "parsing.ml", line 183, characters 8-17
Called from file "src/frontc/frontc.ml", line 191, characters 15-90

`./build.sh` needlessly recompiles OPAM dependencies

./build.sh's line 9 tries to recompile OPAM dependencies even if they are already installed. I hope we can just skip it.

$ opam install sparrow --yes --deps-only


=-=- Synchronising pinned packages =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[sparrow] /home/jeehoonkang/Works/sparrow/ already up-to-date
The following actions will be performed:
  ∗  install   conf-perl     1             
  ∗  install   ppx_tools     5.0           
  ∗  install   camlidl       1.05          
  ∗  install   result        1.2           
  ∗  install   bson          0.89.3        
  ∗  install   base-num      base          
  ∗  install   conf-gmp      1             
  ∗  install   ppx_core      113.33.01+4.03
  ∗  install   ppx_deriving  4.1           
  ∗  install   lymp          0.2.3         
  ∗  install   num           0             
  ∗  install   conf-mpfr     1             
  ∗  install   ppx_optcomp   113.33.01+4.03
  ↻  recompile coq           8.6           
  ↻  recompile cil           1.7.3         
  ↻  recompile batteries     2.5.3         
  ∗  install   mlgmpidl      1.2.4         
  ∗  install   ppx_driver    113.33.02+4.03
  ∗  install   apron         20160125      
  ∗  install   ppx_type_conv 113.33.02+4.03
  ∗  install   ppx_compare   113.33.00+4.03
===== ∗  18   ↻  3 =====
...

`build.sh` is intrusive to the system

• It seems ./build.sh tries to recompile existing OPAM packages, regardless of whether Sparrow depends on them or not. For example, in my setting ./build.sh tries to recompile Coq: #1

• ./build.sh does opam switch 4.04.0, which in my case incurs a lot of overhead: I am using OPAM for other projects which depends on heavy packages like Coq.

Build Status is misleading

• Currently in the README, Linux & macOS share the same build status: https://travis-ci.org/ropas/sparrow.svg?branch=master. But it may be possible that Linux build succeeds while macOS build doesn't. The build status can reflect that, or we can just display a single build status.

• MAC OSX: it's now officially macOS.