repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
test_bit: add test_and_set_bit()
2018-11-28
Dan Carpenter
t
e
st_bit: ad
d
t
e
st_and_set_bi
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpen
t
er
debug: i
n
trodu
c
e __smatch_mem()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Carp
e
nter
d
b
: do
n
't save struct members for integers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n
Carpenter
implied: remove an unnecess
a
ry NULL
c
h
e
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Carpenter
nul_ter
m
inator
:
expo
r
t the is_nu
l
_terminated() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpent
e
r
kpatch: use
g
it instead
of t
r
ying to create diffs by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
struct_ass
i
g
n
m
e
nt:
handle unions as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carpenter
missing_br
e
ak: turn it o
f
f by de
f
ault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpenter
fre
e
_strict
:
fix som
e
false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
Rev
e
rt "
L
o
ok across th
e
entire compile line for smatc
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn Lev
o
n
Look across t
h
e
en
t
ire compile
l
i
n
e
f
o
r
smatch argument
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
L
evon
sparse: add
-Wempty-character-constant
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse: add -
W
big-constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
Levon
sparse: add
-
W
no-non-an
s
i-function-declaration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse: correctly handle
"-D f
o
o" and
"-U f
o
o"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Luc
Van O
o
stenryck
f
i
x:
s
p
aces
in mac
r
o definition on the
c
o
mma
n
d line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
ohn
L
e
vo
n
I
n
t
roduce skipped_f
u
nc
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
Levon
Fix esc
a
pe_newlines
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
L
e
von
sp
a
rse
:
lib
.
c
shou
l
d handle b
e
ing built 32-b
i
t
,
c
o
mpiling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
ohn Levo
n
sparse: define __x
8
6_6
4
; some software checks for
this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
L
ev
o
n
Allow
additional CFLAGS to be specified, e
.
g
.
"CFLAGS
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
Da
n
Carpenter
trinity: Pro
o
f of concept to au
t
o-gener
a
te trinity
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
D
an Ca
r
pent
e
r
user_data: ren
a
m
e
to smatc
h
_kernel_u
s
e
r_data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpe
n
ter
assigned_expr: rename to smatch_as
s
ign
e
d_expr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
D
a
n Carpent
e
r
smatch: make t
h
e --enable/dis
a
ble
option
s
take string
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Levon
c
l
oc
k
()
i
s
already def
i
ned on illumos, so rename
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Levon
Ig
n
o
re
"
#ident" as found in som
e
old so
u
rces
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
J
ohn
Levon
U
s
e $(
C
FLAGS) when compiling smatch
.
c it
s
e
l
f
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
smatch_nul_termina
t
e
d
:
f
ix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan
Carpenter
untracked_param: fi
x
a
NUL
L
dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
Dan
Carpenter
un
i
n
itializ
e
d: fix a crashing
b
u
g
pa
r
sing "return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carp
e
nter
nul_
t
erm
i
nator: track when s
t
rings h
a
ve a NUL
t
ermin
a
tor
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
an
Carpenter
user_data2:
f
ix a type issue
in caller_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n Carpenter
u
ser_data: in
t
e
g
ers
c
an't b
e
der
e
ferenced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
an Carpenter
co
m
parison: mak
e
a buf
f
e
r
larger
to m
a
ke GCC
happy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
d
a
t
a_source: track assignment
s
b
et
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan C
a
rpenter
extra: prevent a
divide by zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
penter
modifica
t
i
o
n
_
hooks: use t
h
e DB f
o
r frob(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
pent
e
r
sval:
intro
d
uce sval_binop
_
overflows_no_sign(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
D
an Carpen
t
er
e
x
tra: undo bogus unop changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Ca
r
penter
array_va
l
ues: fix u
p
and support
t
wo dimensional local
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpente
r
param_set: don't record
a
para
m
_set for
p
++
ch
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan C
a
rpenter
function_h
o
oks
:
re-hac
k
a
r
ound m
o
ving the fake
p
a
rameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
array_values
:
store array
v
alue
s
of
s
truc
t
m
em
b
er arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
D
an C
a
rpenter
function
_
hooks: hack around fallout
f
r
om
m
oving the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
D
an Carpenter
com
p
arison
:
don't return invalid params in get_mask_c
o
mparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpe
n
t
er
db: don't print
"failed to open
"
war
n
ings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_set: remo
v
e some dead cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
mtag: temporarily di
s
able ge
n
erating mtag fo
r
kmalloc
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpenter
expressions: don
'
t
crash on inva
l
id
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
extra: fix a type
bug
i
n inserting info into caller_in
f
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
ke
r
n
e
l:
don't ins
i
s
t that the parameter is n
a
med "error"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra: export is_impossib
l
e_var
i
able()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
en
t
er
flow: fix a
crash
i
ng b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
funct
i
o
n
_hook
s
: do
the fake param
e
ter assignment afte
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
param_limit: fix generi
f
y_mtag_ra
n
g
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
extra: clear_po
i
n
t
ed
_
a
t
_state() is a n
o
mod state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
param_set: handle w
h
en the stack variable
w
as modified
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpen
t
er
parse_ca
l
l
_
math
:
don't say the return is equa
l
to a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
s
c
ope: fi
x
is_outer_s
t
m
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
s
v
al: handle casting to b
o
o
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpenter
array_valu
e
s: don't
cra
s
h on invalid cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
no_sp
e
c: record when
functions ha
v
e
a
b
a
rrier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Ca
r
p
e
n
t
er
ext
r
a
/t
y
pe: fix type of return PARAM_ADD/SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Da
n
Carpenter
param_limit
:
make mtag lim
i
ts more
generic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
Dan
C
arpenter
param_set: don't save if the parent is se
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carp
e
nte
r
atomi
c
_inc_dec: ad
d
a
c
ouple
m
ore f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n Carp
e
n
ter
sign
e
d_
i
n
tege
r
_
o
verflow: ignore this for the kernel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
Carpenter
math: hand
l
e conditio
n
a
l
s
lik
e
:
"
a
= b?
:
c
;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
nospec: d
o
n't fill
t
he DB up with garbage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpe
n
ter
s
i
zeof
:
fix NULL derefere
n
ce p
a
rsing invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
strings: trun
c
ating large strin
g
s causes SQL problems
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
ty
p
e_va
l
:
don't double rec
o
rd globals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
t
arget: man
ssize
_
t be unsigned lon
g
instead of unsigne
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
ext
r
a: don't reset i
m
possible
s
tates
aft
e
r
a
condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
Dan Carp
e
n
t
er
array: store
p
ossible array valu
e
s for simple ar
r
a
y
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
m
t
ag: HACK: return false if the mtag
i
s
zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpente
r
f
l
ow: fa
k
e
a
n a
s
sign statem
e
nt for global initiali
z
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan C
a
rpenter
f
l
ow: tw
e
ak
h
o
w function timeouts happen
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
db
:
fix a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
smatch_f
l
ow: d
o
n
'
t parse inline
f
un
c
tions
after w
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
mtag: add
s
tring i
n
formati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
flow: h
a
ndle __bu
i
ltin_
m
ul_overflow()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
Dan C
a
rpenter
ke
r
nel_
p
rintf: silence "
s
pecifier is cas
t
f
rom pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpenter
nospec
:
t
u
rn off
spe
c
ulati
o
n a
t
rm
b
(),
s
mb_rmb() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carp
e
nter
check_s
i
gned: ignore f
a
ke
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
mtag
_
data:
clear cac
h
e
a
t start of f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan
C
arpenter
nospec
:
fix un
i
n
i
t
ialized
p
ointer
c
ra
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
helper
:
f
a
k
e
call
s
are not equivalent to a
n
y
thing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n Car
p
ent
e
r
comparison: handl
e
comparisons:
if ((fo
o
= frob(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n C
a
rpenter
co
m
paris
o
n: improve "foo
=
m
i
n(
.
.
.
);
"
assig
n
ment handl
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
comparison: hack
a
ro
u
nd so
m
e type
b
ugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
mtag_data:
r
emove duplicate mtag_data a
n
d random small
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpen
t
er
container_of
:
fix a bug in
get_shar
e
d_cnt(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
Carpenter
check_check_der
e
f:
s
ilen
c
e
some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-18
Dan Carp
e
nter
nospec: store functions that return nosp
e
c
i
ndexes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-15
Dan Ca
r
penter
n
ospe
c
: handle CALL_NOSP
E
C
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-14
Dan Carpenter
db:
i
n
troduce t
h
e
--db-fil
e
=
/
path/to/sm
a
t
ch
_
db
.
sqlite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Ca
r
penter
user_data2: use fun
c
tion r
e
turns in points_to_
u
ser_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpenter
file
s
: check for schema files
r
e
l
ativ
e
to
the bin_dir
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next