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
arp
e
nte
r
sli
s
t: allow
show_sm() to
accept NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan C
a
r
p
enter
flo
w
: don't fake an impossible defa
u
lt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpen
t
er
type_val: record fewer "
u
nk
n
own
"
assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carp
e
nter
flow: s
e
t loop
_
count to z
e
ro when parsin
g
inl
i
ne func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpe
n
ter
core: silence some false positives fro
m
parsing
i
nvalid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan Ca
r
penter
implied:
u
s
e
a time based timeout
i
nstead of counting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpenter
extra: handl
e
loops like: while (-
-
i >= 0) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpenter
fu
n
ct
i
on_hooks: fake an assignment
w
hen f
u
nctions re
t
urn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpenter
check_free_strict: Ne
w
st
r
icter cross
f
u
nction use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
check_atom
i
c_inc
_
dec: track
ato
m
i
c
_i
n
c() and
a
t
o
m
i
c
_
dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
assigned_exp
r
:
h
andle fake
ass
i
gnments bet
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
a
s
s
igned_exp
r
: remove debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpen
t
er
kernel
_
pri
n
tf:
%px i
s
valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpen
t
er
s
tr
e
e: debugging: prin
t
the nu
m
ber of states
in
_
_print_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpente
r
mtag: commit a
l
l mtag
r
elat
e
d
co
d
e
t
o date
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
smdb
.
p
y
: fi
x
so
m
e crashi
n
g
bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
c
o
ntainer_of: handle function calls like fo
o
->b
a
r(f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
smatch: get the smat
c
h
bin dir
c
orre
c
tly wh
e
n
it's
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
u
ser
_
data2: empty
s
tates
are not user d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carpen
t
er
constr
a
i
n
ts_required: im
p
rove handli
n
g of assigned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
db: don't split by NULL vs
n
on-NULL when there are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpenter
fl
o
w:
s
tore a b
a
ckup of the s
t
art time
w
hen parsing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rpenter
h
e
lper: c
h
ange some nonsen
s
e
v
alues to other non
s
e
n
se
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpe
n
te
r
DB: introduce a timeout handling
c
aller info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n Carp
e
nter
addres
s
:
fix han
d
ling of &foo-
>
bar
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n
Carpe
n
ter
contstr
a
ints: use caller info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
r
penter
constraints: move
print
_
return_impli
e
s
_
c
o
nstrained()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpen
t
e
r
c
onstraints
:
cleanup unmet_con
s
traint
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpe
n
ter
c
o
nstrai
n
t
s
: fix add_constraint(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-09
D
an Carpenter
mtag: introduce create_mtag_alias()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
D
an Car
p
en
t
e
r
mtag:
f
ix get
_
mtag() for
recorded states an
d
for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carpenter
links: no need to record l
i
n
ks
o
utside a function
c
all
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan Carp
e
nter
type_val: cach
e
DB info
as a speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
D
a
n Carpenter
st
r
ing_list: preven
t
a use after free
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-14
Dan Car
p
enter
mtag: ren
a
me from mt
a
g
s
plural to m
t
ag singular
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Ca
r
penter
helper: keep
a s
m
all c
a
ch
e
of rec
e
ntl
y
used variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n Carpenter
ex
t
ra:
p
ass expression pointer to mo
d
/
n
o
m
od
hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n Carpent
e
r
extra: w
r
i
t
e
infrastructure to pass expr to no_mo
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carpenter
db/build_early_index
.
s
h
: set u
p
more mtag
i
n
d
exe
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
expressi
o
ns: initializ
e
->member_off
s
e
t
()
i
n member_ex
p
ressio
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
function_ho
o
ks: set
path impossibl
e
if we cull
e
verything
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carp
e
n
t
er
mtags: re
m
ove the & pre-op
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carp
e
nter
s
cripts/gen_allocation_list
.
sh
:
a
d
d
__alloc_
s
kb()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpe
n
te
r
d
b/f
i
xup_kernel
.
sh: snprintf()
r
etu
r
ns aren't
r
eally
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
Carpenter
e
x
t
ra: pass th
e
modified expression
t
o e
x
tra_
m
od_
h
oo
k
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Ca
r
pe
n
ter
extra
:
store values for expressions like "foo[3]
.
bar"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpenter
address: don't
s
egf
a
ult
p
a
r
s
i
n
g
inval
i
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Ca
r
penter
i
g
no
r
e: re-write and ad
d
_ex
p
r() versions of
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan C
a
rpenter
param_set/filter:
P
ARAM
_
SET i
n
stead of PARAM_AD
D
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan C
a
rpen
t
er
par
s
e_call
_
math:
use assigned
values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan
C
arpe
n
ter
sval
:
imp
r
ove sval_binop_over
f
lows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carp
e
nter
ext
r
a: d
o
n't modify cons
t
paramete
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carp
e
nter
addr
e
ss/
t
ype: make some fu
n
cti
o
n
param
e
ters
const
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpente
r
struct_assignment: remo
v
e an duplicate N
U
LL che
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carpenter
struct_assignmen
t
: don
'
t dou
b
le pa
r
se ulong assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
D
an Carpenter
struct_assignment: fix a NULL dereferen
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db/
m
t
ags: add mta
g
_data and mtag_map
tables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
a
r
p
e
nter
d
b
/fn_ptr_data_l
i
nk:
don'
t
store
duplicate records
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db: a
l
low SQL statements to be ru
n
later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Da
n
Carpenter
d
b:
introduce get_mtag_name_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Ca
r
pent
e
r
struct_as
s
ignment: handle no
n
struct, p
o
inter assignments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpen
t
er
s
truct_as
s
ignment: fix
h
a
n
dling of non_struct_assig
n
me
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan
C
ar
p
enter
struct
_
assig
n
m
e
nt: sp
l
it handle_non_struct_
a
s
s
i
gments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
in
d
ex_overflow: make a
l
l message
s
"error:" instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Car
p
enter
i
ndex
_
overflow
:
small cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Car
p
enter
index_overflow:
don't warn a
b
out imp
o
s
s
ible path
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
mtag: int
r
o
duce memory tag
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
Da
n
Carpenter
i
mplications:
s
et_state() should trump
i
mplicat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-21
Da
n
Carpenter
b
u
f_co
m
parison: c
o
p
y
th
e
co
d
e from smatch_
c
onstraint
s
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-15
Dan Carpe
n
ter
implied: improve the "too hai
r
y" message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-14
Dan Carpenter
c
ompar
i
so
n
: store
t
he expressions involve
d
(if it's
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-14
D
a
n Carpenter
comparison: rename var1
to left_var a
n
d
var2 to
r
i
g
ht_var
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
Dan Carp
e
nter
constraints_
r
equ
i
red: detec
t
a bunch of n
e
w types of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
Dan Ca
r
penter
co
n
straints: allow fun
c
tion co
n
strain
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
D
a
n Carpenter
c
onstra
i
nts: don't sto
r
e s
i
gned v
s
unsigned
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
Da
n
Carpenter
us
e
r_da
t
a:
fix compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
Dan
Carpe
n
ter
type_val: us
e
smatch_c
o
n
tainer_of() information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-03
Dan Carpen
t
er
user_data:
t
his file is repl
a
ced by check_user_d
a
ta2
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
Dan Carpenter
implied
:
a
dd
a
t
i
meout i
n
sm
a
tch_implied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
D
a
n Carpenter
flow: delete out of scope variables for compound s
t
a
tement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-01
Dan
Carpenter
scope: move
a
chec
k
for STMT_COMPOUND
e
arlier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpenter
validati
o
n/sm_casts
.
c: update to not use an uninti
a
li
z
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
revert "smatch_type
.
c: comparison e
x
pr
e
ssions alw
a
ys
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan C
a
rpenter
validation/
s
m_buf_size6
.
c: up
d
ate for
m
at
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpent
e
r
parse:
make
an arra
y
larger
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n
C
arpenter
helpe
r
: fix get_ar
r
ay_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpent
e
r
a
s
signed_expr: save a record when
a function sets f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
modificatio
n
_
h
ook
s
: handle P
A
RAM_SET ea
r
lier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan C
a
r
p
ent
e
r
.
gitign
o
re: ignore
.
smatch,
.
sma
t
ch
.
sql and
.
smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
an
C
a
r
penter
constraint
s
: a
d
d
a c
o
mme
n
t
,
r
emove d
e
b
u
g code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
D
a
n Carpen
t
e
r
co
n
s
t
r
aints
_
r
e
quired: store mo
r
e
r
equired c
o
nstrai
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Da
n
Carpenter
call
_
math
:
add kzallo
c
() to
t
he list of allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
call_ma
t
h: prevent an endless loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpen
t
e
r
allocation_f
u
ncs: add
_
_
al
l
oc_s
k
b()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-31
Dan Carpenter
constrain
t
s:
fix
se
l
ecting the
r
e
quired constra
i
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-10-30
Rasmus
Villemoes
ch
e
ck_kernel_print
f
.
c
:
wa
r
n about "%lx", (long
)
p
t
r
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Villemoes
smatch_type
.
c: compari
s
on expressi
o
ns a
l
way
s
h
ave type int
commit
|
commitdiff
|
tree
2017-10-30
Rasmus Vi
l
lemoes
s
m
atch_type
.
c:
f
ix type o
f
pointer diff
commit
|
commitdiff
|
tree
2017-10-27
Dan Carpenter
s
t
r
uct_assignment
:
fix parsing of inv
a
lid co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next