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 Carpenter
sl
i
st
:
allow
s
ho
w
_sm() to accep
t
NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan
Carpenter
f
l
o
w:
don't fake an impossible
default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
t
ype_val: record fewe
r
"unknown
"
assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n C
a
rpe
n
ter
f
l
ow: set loop_cou
n
t t
o
zero when parsing inline functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan
Carpen
t
er
co
r
e: s
i
lence
some
f
alse positives from parsing inval
i
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan C
a
r
p
ent
e
r
implied: use
a
t
i
me b
a
sed ti
m
eout i
n
s
tead of counting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan Ca
r
penter
extra: h
a
n
d
le l
o
ops l
i
ke: while (--i >= 0) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
D
a
n C
a
rpe
n
ter
fun
c
tion_hooks: f
a
ke an
a
s
sign
m
ent
when functio
n
s retu
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpen
t
er
check_free_stri
c
t: N
e
w strict
e
r cross
f
u
nction use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpente
r
check_atomic_inc_dec:
track atomic_i
n
c() and
a
tomic_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
assigned_e
x
pr:
h
a
ndle f
a
ke
assi
g
n
ments better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan C
a
r
p
enter
assigned_expr: rem
o
ve debug cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpenter
kern
e
l_printf: %px is
vali
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
D
an C
a
rpenter
str
e
e:
d
ebuggi
n
g: print the num
b
er of states in
_
_
p
rint_
s
tree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
mtag:
c
ommi
t
a
l
l mtag related
code
t
o date
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan
Car
p
e
n
ter
s
m
db
.
py:
f
ix
s
ome c
r
a
shing bu
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Da
n
C
a
rpenter
container_of: handle
funct
i
on
c
alls l
i
ke foo->bar(foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan
C
a
rpent
e
r
smatch: get th
e
sm
a
tch bin dir correctly when it's
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
user_data2: e
m
pty st
a
t
e
s
are
n
ot user dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpent
e
r
constraints_requ
i
red:
i
mprov
e
handling
of assi
g
ned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
db: don't
split b
y
NULL vs non-NULL when there are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpe
n
ter
f
l
ow
:
s
t
ore a backup
of the start ti
m
e
w
he
n
parsin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpent
e
r
h
e
lper: change s
o
me nonsense values to
oth
e
r n
o
nsense
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
DB: introduce a
ti
m
e
out handling c
a
ller
info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpenter
add
r
ess: fix
h
a
ndling
o
f &foo->bar
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpent
e
r
contstraints: use ca
l
ler info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carp
e
nter
const
r
aints: move p
r
int_return_
i
mplies_constrai
n
ed(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Car
p
enter
cons
t
raints:
c
lean
u
p unmet_constraint()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
constr
a
i
nts: fix add_con
s
traint()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-09
Dan Carp
e
n
t
e
r
m
tag: introd
u
ce c
r
e
a
te_
m
tag_
a
lias()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
D
a
n
Carpenter
mtag
:
fi
x
get_m
t
ag
(
) for r
e
co
r
ded s
t
ates and for a
r
rays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Ca
r
penter
links: no need to record link
s
o
utside
a function call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan
Carpe
n
ter
type_val
:
cache DB info as a
speed
up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carp
e
nter
s
tring_list: prevent
a
us
e
after free
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-14
Dan Carpenter
mtag: renam
e
fr
o
m mtags plu
r
al to mtag singular
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Car
p
enter
helper: keep a small cache of recently use
d
variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carpen
t
er
extra: pass expression pointer
to mod/
n
om
o
d hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carpent
e
r
extra: write i
n
frastructure
to
pas
s
expr to n
o
_
m
od
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpent
e
r
d
b/b
u
ild_early_index
.
sh: set up more
mtag index
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n Carp
e
nte
r
exp
r
e
s
sions: i
n
i
tialize ->member_offset(
)
in m
e
mber_expres
s
ion()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
fun
c
tion
_
h
o
oks: se
t
p
a
t
h impossible if we cull ev
e
rythi
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpent
e
r
mtags: remove
t
he &
p
re
-
o
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpenter
scripts/gen
_
a
l
location_
l
ist
.
sh: add __all
o
c
_
s
k
b()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
db/fixup_ke
r
nel
.
s
h: snprintf() returns are
n
't really
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
an C
a
rpen
t
er
extra: pa
s
s th
e
modified expression to extra_mod_ho
o
ks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
ex
t
ra: sto
r
e va
l
u
e
s
for
expressions like "foo[3]
.
ba
r
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
address: don't segfault parsing in
v
alid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpe
n
ter
ignore:
r
e-write
a
nd add
_expr() versio
n
s
o
f functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpente
r
para
m
_set
/
filter: PAR
A
M_SET in
s
t
ead of
PARAM_
A
DD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n Carpente
r
parse_call_math: u
s
e assi
g
ned v
a
lues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
D
an Carp
e
nter
sval: im
p
r
o
ve sval_binop
_
ove
r
flo
w
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
D
an Carpenter
extra: don't modify const parameter
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n C
a
r
p
ent
e
r
address/type: make some function parameters c
o
nst
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
struct_assignme
n
t
:
remo
v
e
a
n duplicate NU
L
L ch
e
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n
C
arpenter
struct_assignment: don't double parse ulo
n
g assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
s
truct_assignment: fix a NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpe
n
te
r
db/mtags: add mtag_data and m
t
ag_map
tables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
arpent
e
r
db/fn_ptr
_
data_link:
d
on't store
duplicate records
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpent
e
r
d
b: allow SQL stat
e
ments to be run later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Ca
r
pen
t
er
db: introduce get_mtag_na
m
e_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan C
a
rpent
e
r
struct_assignment: handle non struct, po
i
nter assignments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpent
e
r
stru
c
t_
a
ssignment:
fix hand
l
ing of no
n
_struct_assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Ca
r
p
ent
e
r
st
r
uct_assignment: split handle_non_
s
truct_assigm
e
nts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
index_overflow: m
a
ke all messages "error:" instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan C
a
rpe
n
t
e
r
index_overflow: small
cl
e
an
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
i
ndex
_
overflow:
d
on
'
t warn about impossible paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
Dan
C
arpe
n
ter
mtag: introduce mem
o
ry tag
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
D
a
n
C
arpenter
implica
t
ions: set_st
a
te(
)
sh
o
uld trump
implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-21
Dan Car
p
enter
buf_compari
s
on: copy
the cod
e
from smatch
_
constraints
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-15
Dan
Car
p
enter
i
m
plied: improve the "too
h
ai
r
y" messa
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-14
Dan C
a
rpenter
compariso
n
: sto
r
e
the
expressions involved (i
f
it
'
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-14
Dan C
a
rpe
n
ter
comparison: rename var1 to left_var and var2 to right_var
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
D
an
Carpenter
con
s
train
t
s_required: detect a bunch
of
new types of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
Dan
Carpente
r
constra
i
nts: allow funct
i
o
n
c
onstraint
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carpenter
c
onstraint
s
: don'
t
store sig
n
ed v
s
unsig
n
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-04
Dan Carpenter
kernel_printf: don't segfault on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carp
e
nter
user_data: f
i
x c
o
mpile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpent
e
r
typ
e
_val: use smatc
h
_
c
ontainer_of() inform
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
Dan Ca
r
pente
r
user_dat
a
: this file is r
e
placed
by check_user_data2
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
implied: add a ti
m
eou
t
i
n sma
t
c
h_implied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpe
n
ter
f
low
:
delete out of s
c
op
e
variables fo
r
com
p
ou
n
d statement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
D
a
n Ca
r
pen
t
er
scope: move
a che
c
k for STMT_COMPOUND earlier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
an Carpenter
validation/sm_cas
t
s
.
c
:
u
p
date
to not use an
u
nintiali
z
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
revert "smatch_type
.
c: comparison expressio
n
s always
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
validation/sm_buf_size
6
.
c: update for
m
at
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Car
p
en
t
er
parse: make an a
r
ray larger
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Ca
r
p
e
n
ter
helper
:
fix get_array_exp
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
assigned_expr: s
a
ve a r
e
cord
w
hen a function
set
s
foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carp
e
n
ter
modif
i
cation_hooks: handle PARAM_
S
ET earlier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
an Carpenter
.
gitig
n
ore: ignor
e
.
sm
a
tch,
.
s
m
atch
.
sql and
.
smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
constra
i
n
ts:
a
dd a
c
omment, remove d
e
bug cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n
Ca
r
penter
cons
t
raint
s
_
r
eq
u
i
red: store more req
u
i
red co
n
s
trai
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpent
e
r
call_
m
ath: add kzall
o
c() to t
h
e list of allo
c
a
tio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Ca
r
penter
c
all_math:
p
revent an endl
e
ss loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpen
t
e
r
allocati
o
n_funcs: add __allo
c
_skb(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
constraints: fix selecting the r
e
quired constraint
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-27
Da
n
C
a
rpe
n
t
er
struct_assignment: fix p
a
rsing
of invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-27
Dan
Carpenter
sy
m
bol: l
e
t is
_
ptr_
t
ype(
)
take NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-26
Dan Carpenter
core: add NULL checks for parsing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-26
D
an Carpenter
get_user_
o
verflow: v
e
rify that that it's a
compare
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next