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
implied: use a time based timeout instead of counting ->nr_children
2018-01-19
D
an Carpenter
implied: use a time based timeout
i
nste
a
d of counting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-19
Da
n
Carpenter
extra:
h
a
ndle loops like: whil
e
(--i >= 0)
{
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
D
a
n Ca
r
penter
function_
h
ooks:
fake an assignment wh
e
n functions re
t
u
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpenter
che
c
k_free
_
strict:
N
ew
s
tricter cro
s
s functio
n
use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan
C
a
r
pen
t
e
r
check_atomic
_
inc_de
c
: track
atomic_inc() and at
o
mic_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpent
e
r
assig
n
ed_e
x
pr: handle
fak
e
assignments
b
ett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-17
Da
n
Carpenter
assig
n
ed_expr: remove d
e
bu
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
D
a
n Carpente
r
k
ernel_printf: %px is
v
a
lid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpe
n
ter
st
r
ee: debugging: print th
e
n
u
m
b
er of states in __print_str
e
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
mtag: commit all
mtag related code
t
o
d
ate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
D
a
n Carpenter
sm
d
b
.
p
y: fix some cr
a
shin
g
bu
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan
C
arpenter
cont
a
iner_of:
handl
e
function calls like f
o
o-
>
bar
(
foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
s
m
atch: get the smatch bin
d
ir correc
t
ly w
h
en it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rpenter
use
r
_data2: em
p
ty sta
t
es are
n
ot us
e
r dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Ca
r
pen
t
er
c
o
nstraints_req
u
ired
:
im
p
rov
e
ha
n
d
ling of as
s
i
g
ne
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpenter
db: don't split by NUL
L
vs non-N
U
LL when there are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpente
r
flow
:
stor
e
a b
a
ckup
of the start
t
ime wh
e
n parsing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpente
r
he
l
p
er: change some n
o
nsense values to other non
s
en
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
DB: introduce a timeout
handlin
g
caller
i
nfo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
address: fi
x
h
andling of &foo->bar
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
cont
s
tr
a
ints: use ca
l
ler in
f
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
constrain
t
s: move print_return_im
p
lies_constrained()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
D
an Carpen
t
e
r
con
s
t
r
aint
s
: cleanup unme
t
_constraint()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rpen
t
er
c
onstrai
n
ts
:
fix add_constr
a
int()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-09
Da
n
Carpenter
mtag:
i
ntr
o
duce cre
a
te_mtag_alias(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan
Carpenter
m
tag: fix
g
et_mtag
(
) fo
r
recorded states and f
o
r arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpente
r
lin
k
s
: no need to r
e
cord li
n
ks outsid
e
a
f
un
c
ti
o
n call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan
C
arpe
n
ter
type_val: cache
DB info as a s
p
eed u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-01-08
Dan
Carpenter
string_list
:
preven
t
a u
s
e after free
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-14
Dan
C
ar
p
ente
r
mtag: rena
m
e
from
m
tags plural to mtag singula
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carpenter
helper: ke
e
p a sm
a
ll c
a
che of
r
ecently used va
r
iable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpen
t
er
extra: pass expression poi
n
ter
t
o
mod/nomod ho
o
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carpenter
extr
a
:
w
rite infrastructure to pass e
x
pr to no_mod
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Car
p
enter
db/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
Dan
Carpen
t
er
express
i
ons: initialize ->m
e
mber_offset(
)
in member_expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
Carpen
t
e
r
function_hooks: set pa
t
h impos
s
i
ble if we cull everything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpente
r
mtags: remove the & p
r
e-op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
script
s
/ge
n
_allocation_list
.
sh: a
d
d
_
_
alloc_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
db/fixup_ker
n
el
.
sh: s
n
pri
n
tf() returns aren
'
t r
e
ally
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
ext
r
a: pass the
m
odified expression to extra_mod
_
hooks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpe
n
ter
extra
:
store v
a
lues for e
x
pression
s
like "foo[3]
.
b
a
r"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carpenter
address: don
'
t segfault par
s
ing
i
nvalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
an
C
arpenter
ignore:
re-
w
rite and add _expr(
)
versions of functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
param_
s
et/fi
l
ter: PARA
M
_S
E
T
i
n
ste
a
d of P
A
R
AM_ADD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpente
r
parse_call_math
:
use
assigned values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
sval: improve sval_binop_overflo
w
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan
Carpe
n
ter
extra: don't
m
odif
y
const parame
t
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carp
e
nter
address/type
:
make some function par
a
meters const
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Car
p
e
n
ter
st
r
u
ct_assig
n
ment: remove
a
n
duplicate NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpent
e
r
s
truct_assignment: don't double p
a
rs
e
u
l
o
n
g assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-06
D
a
n Carpente
r
stru
c
t
_
assignment: fix
a
NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db/m
t
ags: add mta
g
_dat
a
and
m
t
a
g_ma
p
tabl
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpent
e
r
db/fn_ptr_data_link
:
don't store du
p
l
icate r
e
cords
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
a
r
p
enter
db: allow SQL
statements to
be run l
a
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan C
a
rpenter
db: int
r
oduce get
_
mtag_name_e
x
pr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpente
r
stru
c
t_assi
g
n
ment: handl
e
non str
u
c
t
,
p
o
inter assignme
n
ts
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
struct_assignment: fix handlin
g
of
no
n
_struct_a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-12-04
D
an Carpenter
struct_assignment: s
p
lit han
d
le_non_struc
t
_assig
m
ents
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Da
n
Carpenter
i
n
d
ex_ov
e
rflow: make
all mess
a
ges "er
r
or:
"
instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
Dan Ca
r
pen
t
er
i
n
d
e
x
_overflow: small cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-24
D
a
n
Carpenter
index_overflow: don't
w
a
rn
a
bout impossibl
e
p
aths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpe
n
t
er
mtag: i
n
troduc
e
m
emory tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-22
Dan Ca
r
penter
implication
s
: set_state() should
tru
m
p im
p
licatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-21
Dan Carp
e
n
ter
buf_comparison: copy the
code
f
rom smatch_cons
t
raints
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-15
Dan Carpente
r
i
mp
l
ied: impro
v
e the "too ha
i
r
y" m
e
ssage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
Dan Carpent
e
r
comparison: sto
r
e the expressions invo
l
ved (if it's
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-14
D
a
n Carpenter
co
m
pari
s
on: rename var
1
to left_var
a
nd va
r
2
t
o right_var
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan
Ca
r
penter
const
r
aints_required: dete
c
t a b
u
nch of
new t
y
pe
s
of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
D
a
n Carpenter
constrai
n
t
s
: allow
function co
n
straint
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carp
e
n
ter
con
s
traints: don
'
t stor
e
signed vs unsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-04
Dan
Carpenter
ker
n
el_printf: don't segfa
u
lt on
i
nvalid cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
D
an
Carpenter
u
s
er_data: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
D
a
n Carpenter
type_
v
al: use
s
mat
c
h_container_of()
information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpenter
u
ser
_
data: t
h
is file
is replaced
by check_user_data2
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
implied:
a
d
d a t
i
m
eout in smatch_im
p
l
ied
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
Dan
C
ar
p
enter
flow: dele
t
e
o
ut of scope
v
ariables for compound statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-11-01
D
an C
a
r
p
ente
r
s
c
ope: mov
e
a check for STMT_COMPOU
N
D
e
arlier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Car
p
e
nter
validation/sm_casts
.
c
:
update to
not use
a
n
unint
i
aliz
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
Carpenter
re
v
ert
"
smatc
h
_
t
ype
.
c: com
p
arison
expressions a
l
ways
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Ca
r
penter
valida
t
i
o
n
/
sm_buf_size6
.
c: update
f
ormat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpe
n
ter
pars
e
:
make an array l
a
rger
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
an Carpen
t
er
helper: fix get_array_ex
p
r
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Carpente
r
assigned_expr: sa
v
e a
r
ecord when a f
u
nction
s
ets foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan
C
arpenter
mo
d
if
i
cation_hook
s
: handle PARAM_SET earl
i
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
.
gitignore: ignore
.
smatch,
.
sm
a
tch
.
sql and
.
smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
constraints: add a comment, re
m
o
v
e debu
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
an Carp
e
nter
constraints_required:
sto
r
e more r
e
quir
e
d
c
onstraints
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
call_math
:
add kzalloc()
to
t
h
e list of a
l
l
ocatio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Carpenter
c
al
l
_math: pr
e
vent an
e
n
dl
e
ss l
o
op
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
allocatio
n
_funcs: add _
_
a
ll
o
c_skb()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-31
Dan Ca
r
pent
e
r
c
o
nst
r
ai
n
ts: fix s
e
lecting the required constra
i
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-30
Rasmus
Vil
l
emoes
check_ker
n
e
l
_p
r
intf
.
c: wa
r
n ab
o
ut "
%
lx
"
, (l
o
ng)ptr
commit
|
commitdiff
|
tree
2017-10-30
Rasmus V
i
l
lemo
e
s
smatc
h
_
t
y
p
e
.
c:
co
m
parison e
x
pressio
n
s always have type
i
nt
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Vill
e
moes
smat
c
h
_
type
.
c: fix type
o
f
p
ointer diff
commit
|
commitdiff
|
tree
2017-10-27
D
a
n Car
p
enter
struc
t
_assignme
n
t: fix par
s
i
n
g of
invalid cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-27
Dan Carpent
e
r
symbol: let i
s
_
ptr_type() take NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan
Carpenter
c
o
r
e
: add NULL checks for parsi
n
g in
v
alid
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Dan Carpenter
get_u
s
er_
o
verfl
o
w:
v
erify that that it's a c
o
mpare
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
Rasmus
V
i
l
lem
o
es
check_ke
r
nel_printf
.
c: check
%pOF argument i
s
struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-10-26
R
a
smus Villemoes
c
hec
k
_kernel_printf
.
c:
r
emo
v
e co
p
y-pastoed var
i
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next