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
slist: allow show_sm() to accept NULL pointers
2018-01-25
Dan C
a
rpenter
sl
i
st:
allow show_s
m
() to accept NULL
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
flow: don't fake an impossible
d
efault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Carp
e
n
t
er
t
y
pe_val:
record few
e
r
"
unknown" as
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
f
l
ow: set loop_count
t
o
zero
w
hen par
s
ing in
l
in
e
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Carpe
n
ter
core:
silence
some fals
e
po
s
itives from par
s
ing invalid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan Car
p
enter
imp
l
ied: use a time ba
s
ed timeout instead of counting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpent
e
r
extra: handle loops like:
w
h
i
le (--i >=
0
) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Dan C
a
r
penter
function_
h
ook
s
: fake an assignment
when fun
c
tio
n
s retur
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Da
n
Carp
e
nter
c
heck_free_strict: New stricter c
r
oss function use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
che
c
k
_atomic_inc
_
dec: track atomic_inc() and at
o
mic_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
D
an Carpenter
assigned_expr: h
a
ndle fake assign
m
ents better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpe
n
ter
assigne
d
_expr: remove de
b
ug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan C
a
rpenter
kerne
l
_printf:
%
px is va
l
id
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpenter
stree
:
debugg
i
ng:
print the number of
s
tat
e
s in
_
_
p
rint_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
D
an Carpen
t
er
mtag: commit all mtag r
e
lated code to da
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpen
t
er
smdb
.
py:
f
ix some crashing bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan
Carpente
r
co
n
tainer
_
of: handle
fun
c
tion calls l
i
ke
f
oo->bar(foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
D
a
n
Carpenter
sma
t
ch: get
the s
m
at
c
h bin dir correctly when it'
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n
Carpe
n
ter
user_data2: empty
states are not user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
constraints_requ
i
red
:
improve handling of a
s
sig
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carp
e
n
t
er
d
b: do
n
'
t
split by NU
L
L v
s
non-NULL when ther
e
are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rpenter
flo
w
:
s
t
ore a b
a
c
k
up
of t
h
e start time when
p
arsing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Ca
r
penter
h
elper: ch
a
n
ge some nons
e
nse values to other non
s
ense
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carp
e
nt
e
r
DB
:
i
ntroduc
e
a timeout
h
andling
c
aller info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n C
a
rpenter
address: f
i
x handli
n
g of
&fo
o
-
>
bar
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpenter
c
o
n
tst
r
aints
:
use caller info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rpenter
co
n
straints: move
p
rint_return_i
m
p
l
ies_constr
a
in
e
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Ca
r
penter
constra
i
nts: cleanup
unmet_c
o
ns
t
r
ain
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
C
arpenter
constraints: fix add_constraint()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-09
D
a
n C
a
r
penter
mta
g
:
i
ntroduce create_mtag_alias(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
mta
g
:
f
ix get_mtag() fo
r
recorded stat
e
s
a
nd
f
or ar
r
ay
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan C
a
r
penter
link
s
:
no need to record links outside
a
function
call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Car
p
ent
e
r
type_val: cac
h
e DB info
a
s
a speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan C
a
rpenter
string_list: pre
v
ent a use after free
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-14
Dan Carpente
r
mtag:
r
enam
e
from mta
g
s plural t
o
mtag si
n
gular
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
an Car
p
e
nte
r
helper: kee
p
a
small cache of recently us
e
d variabl
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carpenter
extr
a
: pass ex
p
ressio
n
pointer to m
o
d/nomo
d
hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
extra: wr
i
t
e
infras
t
ru
c
ture to
pas
s
expr to
n
o
_
mod
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpe
n
t
er
db/
b
uild_early_index
.
sh: set up more mtag indexe
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpen
t
er
e
x
pressions: init
i
aliz
e
->membe
r
_offset() in member_exp
r
es
s
ion()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carp
e
nter
function_hooks:
set pa
t
h
impossible if we cull everythi
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n Carpente
r
m
t
a
gs:
r
emove the & pre-op
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
scri
p
ts/
g
en_allocati
o
n
_
l
i
s
t
.
sh: add __allo
c
_skb()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpente
r
db
/
fixu
p
_kernel
.
sh: snpr
i
n
t
f() returns a
r
en't real
l
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
an
C
arpenter
extra: pass the mo
d
if
i
e
d
e
x
pression to e
x
t
ra_mod_hoo
k
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpen
t
er
ex
t
ra: st
o
re values for expr
e
ssions like "foo[3]
.
bar"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpen
t
e
r
addr
e
ss:
d
on't segfau
l
t
p
ar
s
ing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
Ca
r
penter
ign
o
re: re-write and add _
e
xpr() versions of fu
n
c
tions
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
C
arpenter
parse_call_math
:
use
assigned valu
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carp
e
nter
sval: improve
s
val_bi
n
op_overflo
w
s(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
D
an Carpenter
extra: don
'
t modif
y
c
o
nst param
e
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Car
p
ent
e
r
address/type: make
s
ome
func
t
io
n
p
a
rameters const
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
s
truct_assignm
e
nt: remove an dup
l
icate NULL ch
e
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
struct_assignment
:
don't
d
oub
l
e
parse ulo
n
g
as
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
C
a
rpe
n
ter
stru
c
t_assignme
n
t:
f
ix
a NULL d
e
r
e
fe
r
ence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
D
an C
a
r
pente
r
db/mtags: add mtag_data and
mtag_map tables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpente
r
db/fn_p
t
r_data_
l
ink:
don't store duplicate records
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Car
p
enter
db: a
l
low
SQL stat
e
m
ents
t
o
be run
l
ater
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db: int
r
oduce get_mtag_n
a
me_
e
xpr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
D
a
n
Car
p
enter
str
u
ct_a
s
signment:
handle non s
t
ruct, pointe
r
assi
g
nme
n
ts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan C
a
r
penter
struct_assign
m
ent: fix handlin
g
o
f
no
n
_struct_
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Da
n
Carpenter
struct_as
s
ignment: s
p
lit handle_non_stru
c
t_assigments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
inde
x
_overflow: mak
e
all messages "error:
"
i
nstead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carp
e
n
te
r
index_overflow: small
cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
D
a
n Car
p
ente
r
index_overflow
:
don't w
a
rn abou
t
impossible paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
D
an Carpente
r
mtag:
i
n
t
r
o
d
uce
m
emory tags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
Dan
Carpenter
imp
l
ications: set_state() shoul
d
trump implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-21
Dan
Carpenter
buf_comparison: copy
t
he code from smatch_constr
a
int
s
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-15
Dan C
a
rpen
t
er
i
mplied:
improve the "too hairy
"
message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-14
D
a
n Carpenter
comparison: store th
e
expressio
n
s i
n
vol
v
ed (if
i
t's
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-14
Dan Car
p
enter
comparison: re
n
ame var1 to left_var and var
2
to rig
h
t_var
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpen
t
er
constr
a
ints
_
r
e
q
uired: detect a bu
n
ch
o
f new types
o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
Dan
C
arpent
e
r
constrai
n
ts: a
l
low function constraints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
Da
n
Carpen
t
er
constraints: d
o
n't
sto
r
e
si
g
ned
v
s unsi
g
ned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-04
Dan Carpenter
k
e
rnel_printf: don't
s
egf
a
ult on invali
d
co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
user_
d
a
ta: fix
comp
i
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpe
n
ter
type_val: use
s
match_container
_
of() in
f
orm
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
D
a
n Car
p
enter
user_data: this file is replaced by c
h
eck_user_
d
a
t
a2
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
Dan
C
arpe
n
t
e
r
implied
:
add a
t
imeout in smatch
_
implied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
Da
n
Carpenter
flow
:
delete out of scope variables
fo
r
compou
n
d sta
t
ement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
Da
n
C
a
rpen
t
er
scope: move a
ch
e
ck for
STMT_
C
OMPO
U
ND earlie
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Carpen
t
er
valid
a
t
i
on/sm_casts
.
c:
update
to not use an unintialize
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n
Carpe
n
ter
revert
"
smatch_t
y
pe
.
c: comparison expres
s
ions always
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carp
e
nter
v
a
lida
t
ion/s
m
_buf_size6
.
c: update format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n
Car
p
enter
parse: make an array larger
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpe
n
ter
helper
:
fix
g
e
t_ar
r
ay
_
e
x
p
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Ca
r
p
e
nt
e
r
assigned_expr: save
a r
e
cord
w
hen a function
s
ets foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpent
e
r
mod
i
fication_h
o
oks: handl
e
PARAM
_
SET earlier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
.
g
i
tignore
:
ignore
.
s
m
atch,
.
sm
a
tch
.
s
q
l and
.
smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Carpent
e
r
con
s
traints: add a co
m
men
t
, rem
o
ve debug
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
constraints_required: store
m
ore required c
o
nstraints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpenter
call_mat
h
:
add kzalloc(
)
to
t
he list
of allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpente
r
call_math
:
prevent an endl
e
s
s loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
all
o
cation_funcs: add __all
o
c_s
k
b
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carp
e
nter
con
s
t
raints: fi
x
selecti
n
g t
h
e
re
q
uired constraint
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-30
Rasmu
s
V
illem
o
es
check
_
kernel_pri
n
tf
.
c: warn about "%lx", (long)ptr
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
sm
a
tch_type
.
c: comparis
o
n e
x
pressions alway
s
h
ave typ
e
int
commit
|
commitdiff
|
tree
2017-10-30
Rasmus
V
ille
m
oes
smatch_type
.
c: fix type
of
p
o
inter d
i
ff
commit
|
commitdiff
|
tree
2017-10-27
Dan Carpenter
s
tru
c
t_assignment: fix par
s
ing of invalid cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next