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
symbol.h: let is_ptr_type() take NULL pointers
2018-03-06
D
an Carpenter
s
y
mbol
.
h: let is_ptr_type() take NULL
p
ointe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Car
p
enter
retur
n
_to_param: fix
a crashin
g
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan C
a
r
p
enter
struct_assignment/assigned_expression
:
save
s
o
me m
o
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-06
Dan Carpenter
exp
r
e
s
s
i
ons: free
a
l
lo
c
ated exp
r
essions a
f
ter the
e
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Da
n
C
a
rpenter
rosenberg: che
c
k the cor
r
ect alignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
L
uc
V
an Oostenr
y
c
k
fix: d
o
not
i
gnore struct
/
union/enum type
a
t
t
ributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Luc
V
an
O
ostenryck
move u
p
apply_ctype()'s declara
t
io
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-05
Luc Va
n
Ooste
n
ryc
k
add testcase
s
for ignored typ
e
attributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-03-01
Dan Car
p
enter
Merge git://gi
t
.
kernel
.
org/pub/scm/devel/sparse/sparse
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-27
Dan Carpente
r
mtag: fix build erro
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-22
Dan Carpente
r
helper: fi
x
segfault parsi
n
g in
v
a
lid co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan
C
ar
p
ente
r
t
y
p
e
_
val: dev_get_drvdata(
)
doesn't
s
et the types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Ca
r
penter
or_vs_an
d
: whi
t
e
space clea
n
up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
en
t
er
conditions:
pass
SELECT_HO
O
K
f
o
r
s
elect assi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Ca
r
penter
e
st
a
te: white space clean
up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan C
a
rpent
e
r
constraints: allo
w
binop constraints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
smatch_c
o
mparison
:
fix
a crash
i
ng
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
an Carpen
t
er
check_kerne
l
: handl
e
fls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Ca
r
penter
extra:
t
ight parameter values a
b
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
extra: hand
l
e "if (foo & 0x1) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpen
t
er
ext
r
a: don'
t
set tr
u
e/
f
al
s
e states if it'
s
the sam
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpen
t
er
impli
e
d: use
assume()
e
v
en i
f
t
h
ere are no imp
l
ications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Carpe
n
ter
math: silence hard
m
ax false
p
osi
t
ives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
enter
slist: don't pass stuff
to pre_merge_hooks that isn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Da
n
C
a
rp
e
nter
mtag: kill
an endless loop
i
n
up
c
oming code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
D
an Carpenter
ca
l
l_math: ini
t
ializ
e
some strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpente
r
fn_ar
g
_
li
n
k: fix an endless loop
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-20
Dan Carpenter
d
b
:
fix a segfault parsing inv
a
lid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-19
Dan Carp
e
nte
r
c
omp
a
riso
n
: improve handling of "
i
f
(foo + 1 >
l
i
m
it) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
D
a
n Carpenter
db/compar
i
son: Use mask information to get comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpente
r
comparis
o
n: handle
__smatch_c
o
mpar
e
(foo,
b
a
r - 1)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
D
an Carpente
r
extra:
c
leanup handle_AND_
o
p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-16
Da
n
C
a
rpenter
extra: cleanu
p
h
a
ndling "
i
f
(foo & 0x1) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
Dan C
a
r
p
enter
user_da
t
a: silence some false po
s
itives with divides
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
D
a
n C
a
rpenter
user
_
data2:
s
ilence
s
ome false posi
t
ives handling ntohl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-13
Dan Carpenter
c
o
n
di
t
i
ons: h
a
ck
around "if (foo | bar
)
{" (
b
itwise
O
R
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-02-09
Dan Carpenter
da
t
a
/
ke
r
nel
.
ignore_macro_indenting
:
ignore
tcp_skb
_
t
so
r
ted_r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan
C
arpenter
db/smdb
.
py:
c
han
g
e some
formatting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
d
b/smdb
.
py:
f
ix the PARAM_
C
OMPARE/LIMIT ty
p
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
rosenberg: fix
a
crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n C
a
rp
e
nter
user_data2: do a hack ar
o
und in the
pre_merge_hook(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
const
r
aints: handle co
n
ditions like "if (8 < x) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan Car
p
e
nter
expr_to_
c
hunk_helpe
r
: set *sym when there is only one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Da
n
Carp
e
nter
slist
:
a
llow
show_sm() to accept
N
ULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan C
a
rp
e
nter
flow: don
'
t fake an imposs
i
ble
defau
l
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Da
n
Car
p
e
n
t
e
r
t
y
pe_val: reco
r
d fewer "un
k
nown
"
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Carpenter
f
low: set loop_count to z
e
ro whe
n
parsing inline fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-25
Dan
C
arpenter
core:
s
ilence som
e
false po
s
itives from
parsing
i
n
va
l
id
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan C
a
rpenter
i
m
p
l
i
ed: use a time based timeout instead of co
u
nting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Dan
C
a
rpenter
extra: ha
n
dle loops like: whi
l
e (--
i
>=
0
)
{
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan
C
a
r
p
e
n
ter
funct
i
on_hooks: fake
a
n
a
s
s
ignment when fun
c
t
ions
r
eturn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpent
e
r
c
heck_free_strict: New s
t
ricter cross function use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
D
a
n
C
a
r
pent
e
r
check_atomic_inc_dec: track atomic_in
c
() and
atomic_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan
Carpenter
assigned_expr: handle fak
e
assignments better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
D
an Carpenter
assi
g
ned_ex
p
r
:
remove
d
e
b
ug c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan
Carp
e
nter
k
e
rnel_p
r
in
t
f
:
%px i
s
valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
D
a
n Carpenter
stree: debug
g
ing: p
r
int the n
u
mber o
f
states in _
_
prin
t
_str
e
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
mtag: commit all mt
a
g
r
elated c
o
de
to date
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpent
e
r
smdb
.
py: fix some crashin
g
b
u
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpente
r
container_of: handle function calls like
f
oo-
>
bar(foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpe
n
ter
smatch: g
e
t
t
he s
m
atch bin dir
correctl
y
when it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpe
n
t
er
use
r
_
data2: empty states are not user
d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpente
r
con
s
t
r
aints
_
requi
r
ed
:
improve ha
n
d
ling o
f
assigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Ca
r
penter
d
b
:
do
n
'
t sp
l
i
t
by NULL vs non-NULL
w
hen there
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
flow
:
store a backu
p
o
f
the
star
t
time when par
s
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
h
el
p
er: change some nonsens
e
values to other nonsense
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
DB: in
t
r
oduce a
timeout handling
caller info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpent
e
r
address: fix han
d
ling of &foo->bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
a
rpenter
contstraints: use caller in
f
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpente
r
constraint
s
: m
o
ve print_return_im
p
lies_constrained(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
r
p
ente
r
cons
t
raints: cleanup unmet_cons
t
r
aint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpente
r
constraints: fix add
_
c
onstraint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Dan Carpenter
m
tag:
i
n
t
roduc
e
create_mtag
_
alia
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Da
n
C
ar
p
e
n
ter
m
t
ag: fix
get_mtag
(
)
f
or recorded stat
e
s
a
nd for arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
l
inks: no need to record l
i
nks outside a fu
n
ction ca
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Da
n
Carpenter
ty
p
e_
v
al:
c
ache DB inf
o
as a speed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Da
n
Carpenter
str
i
ng_list
:
preve
n
t
a
use
after f
r
ee
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
D
a
n
C
a
r
p
e
nter
mtag:
r
en
a
me
from mtags plural
t
o
m
tag singular
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
helper: kee
p
a small
cache of
r
e
c
ently u
s
ed variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extr
a
: pass expr
e
ssion poi
n
te
r
t
o
mod/nomod hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carpen
t
e
r
extra:
write infrastructur
e
t
o
pass exp
r
to no_mod
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpenter
db/build_
e
arl
y
_
i
ndex
.
sh: set up
m
ore mtag inde
x
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpen
t
e
r
exp
r
es
s
ions: initialize -
>
m
e
m
b
er_offse
t
() in membe
r
_
expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpente
r
funct
i
o
n_
h
ooks: set
p
a
t
h impossible if
we
cull everything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpent
e
r
m
t
ags:
r
emove the & pre-
o
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
scripts/g
e
n_allocation_list
.
sh
:
add __alloc_skb
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arp
e
n
ter
db/f
i
xup_kernel
.
sh: snprintf() ret
u
rns aren
'
t really
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Ca
r
penter
extra: p
a
s
s
the modified expressio
n
to extra_mod
_
hooks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Car
p
enter
extra: store values
f
or expressions like "foo[3]
.
bar"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carp
e
nter
a
d
dres
s
: don't
s
egfault
parsi
n
g invalid
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpe
n
ter
i
g
n
or
e
: re-write and
add _exp
r
() versions o
f
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
param_set/filter: PARAM_SET
instead of PARAM_ADD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpen
t
er
parse
_
call_
m
a
th: use assigned valu
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
sval: im
p
rove sval_bi
n
op_overflows
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n
Ca
r
p
e
nter
extra: don't modify
const p
a
ram
e
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
Carpenter
addr
e
ss/ty
p
e: make som
e
f
unction pa
r
ameters const
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
struct_assig
n
ment: remove a
n
d
u
plicate NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpe
n
ter
struct_assign
m
en
t
: d
o
n't
d
oub
l
e parse u
l
o
n
g assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n
Carpenter
struct_ass
i
gn
m
e
n
t: f
i
x
a N
U
LL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carp
e
nter
db/mt
a
gs: add mtag_data and
mtag_map t
a
bles
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next